A Formalization of ODMG Queries

Riedel, Holger; Scholl, Marc H.

A Formalization of ODMG Queries

Dateien

A_formalization.pdfGröße: 428.6 KBDownloads: 170

Datum

1997

Autor:innen

Riedel, Holger

Scholl, Marc H.

URI (zitierfähiger Link)

http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-15029

Link zur Lizenz

Urheberrechtlich geschützt

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Informatik und Informationswissenschaft

Publikationstyp

Beitrag zu einem Konferenzband

Publikationsstatus

Published

Erschienen in

Proceedings of the 7. Internat. Conference on Data Semantic. 1997

Zusammenfassung

The ODMG proposal has helped to focus the work on object-oriented data-bases (OODBs) onto a common object model and query language. Nevertheless there are several shortcomings of the current proposal stemming from the adaption of concepts of object-oriented programming and a lack of formalization. In this paper we present a formalization of the ODMG model and the OQL query language that is used in the CROQUE project as a basis for query optimization. An essential part is a complete, formally sound type system that allows us to reason about the types of intermediate query results and gives rise to fully orthogonal queries, including useful extensions of projections and set operations.

Fachgebiet (DDC)

004 Informatik

Zitieren

ISO 690

RIEDEL, Holger, Marc H. SCHOLL, 1997. A Formalization of ODMG Queries. In: Proceedings of the 7. Internat. Conference on Data Semantic. 1997

BibTex

@inproceedings{Riedel1997Forma-6120,
  year={1997},
  title={A Formalization of ODMG Queries},
  booktitle={Proceedings of the 7. Internat. Conference on Data Semantic},
  author={Riedel, Holger and Scholl, Marc H.}
}

RDF

<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/6120">
    <dc:language>eng</dc:language>
    <dcterms:bibliographicCitation>Aus: Proceedings of the 7. Internat. Conference on Data Semantic. 1997</dcterms:bibliographicCitation>
    <dc:creator>Riedel, Holger</dc:creator>
    <dcterms:title>A Formalization of ODMG Queries</dcterms:title>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6120"/>
    <dcterms:issued>1997</dcterms:issued>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:09:39Z</dcterms:available>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6120/1/A_formalization.pdf"/>
    <dcterms:abstract xml:lang="eng">The ODMG proposal has helped to focus the work on object-oriented data-bases (OODBs) onto a common object model and query language. Nevertheless there are several shortcomings of the current proposal stemming from the adaption of concepts of object-oriented programming and a lack of formalization. In this paper we present a formalization of the ODMG model and the OQL query language that is used in the CROQUE project as a basis for query optimization. An essential part is a complete, formally sound type system that allows us to reason about the types of intermediate query results and gives rise to fully orthogonal queries, including useful extensions of projections and set operations.</dcterms:abstract>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Riedel, Holger</dc:contributor>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:creator>Scholl, Marc H.</dc:creator>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6120/1/A_formalization.pdf"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:09:39Z</dc:date>
    <dc:rights>terms-of-use</dc:rights>
    <dc:format>application/pdf</dc:format>
    <dc:contributor>Scholl, Marc H.</dc:contributor>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Nein