A Formalization of ODMG Queries

Publikationstyp: Beitrag zu einer Konferenz
URI (zitierfähiger Link): http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-15029
Autor/innen: Riedel, Holger; Scholl, Marc H.
Erscheinungsjahr: 1997
Erschienen in: Proceedings of the 7. Internat. Conference on Data Semantic
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
Link zur Lizenz: Nutzungsbedingungen

Zitieren

Dateien zu dieser Ressource

[PDF]
Name: A_formalization.pdf
Größe: 428.6Kb
Format: PDF
Öffnen
Prüfsumme: MD5:05c933a7c84f403aea14456166652657

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

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

<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/rdf/resource/123456789/6120"> <dc:contributor>Scholl, Marc H.</dc:contributor> <dc:contributor>Riedel, Holger</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6120"/> <dcterms:rights rdf:resource="https://kops.uni-konstanz.de/page/termsofuse"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:09:39Z</dcterms:available> <dcterms:bibliographicCitation>Aus: Proceedings of the 7. Internat. Conference on Data Semantic. 1997</dcterms:bibliographicCitation> <dcterms:issued>1997</dcterms:issued> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <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> <dc:language>eng</dc:language> <dcterms:title>A Formalization of ODMG Queries</dcterms:title> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Scholl, Marc H.</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:09:39Z</dc:date> <dc:format>application/pdf</dc:format> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6120/1/A_formalization.pdf"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6120/1/A_formalization.pdf"/> <dc:rights>terms-of-use</dc:rights> <dc:creator>Riedel, Holger</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

A_formalization.pdf 74

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto