The CROQUE-Model : Formalization of the Data Model and Query Language
| dc.contributor.author | Riedel, Holger | deu |
| dc.contributor.author | Scholl, Marc H. | |
| dc.date.accessioned | 2011-03-24T16:11:12Z | deu |
| dc.date.available | 2011-03-24T16:11:12Z | deu |
| dc.date.issued | 1996 | deu |
| dc.description.abstract | The ODMG proposal has helped to focus the work on object-oriented databases (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. | eng |
| dc.description.version | published | |
| dc.format.mimetype | application/pdf | deu |
| dc.identifier.ppn | 117299642 | deu |
| dc.identifier.uri | http://kops.uni-konstanz.de/handle/123456789/6294 | |
| dc.language.iso | eng | deu |
| dc.legacy.dateIssued | 2005 | deu |
| dc.relation.ispartofseries | Konstanzer Schriften in Mathematik und Informatik | |
| dc.rights | terms-of-use | deu |
| dc.rights.uri | https://rightsstatements.org/page/InC/1.0/ | deu |
| dc.subject.ddc | 004 | deu |
| dc.title | The CROQUE-Model : Formalization of the Data Model and Query Language | eng |
| dc.type | WORKINGPAPER | deu |
| dspace.entity.type | Publication | |
| kops.bibliographicInfo.seriesNumber | 23 | deu |
| kops.citation.bibtex | @techreport{Riedel1996CROQU-6294,
year={1996},
series={Konstanzer Schriften in Mathematik und Informatik},
title={The CROQUE-Model : Formalization of the Data Model and Query Language},
number={23},
author={Riedel, Holger and Scholl, Marc H.}
} | |
| kops.citation.iso690 | RIEDEL, Holger, Marc H. SCHOLL, 1996. The CROQUE-Model : Formalization of the Data Model and Query Language | deu |
| kops.citation.iso690 | RIEDEL, Holger, Marc H. SCHOLL, 1996. The CROQUE-Model : Formalization of the Data Model and Query Language | eng |
| kops.citation.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/6294">
<dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6294/1/CROQUE_model.pdf"/>
<dc:format>application/pdf</dc:format>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dc:creator>Scholl, Marc H.</dc:creator>
<dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
<bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6294"/>
<dc:creator>Riedel, Holger</dc:creator>
<dcterms:issued>1996</dcterms:issued>
<dcterms:abstract xml:lang="eng">The ODMG proposal has helped to focus the work on object-oriented databases (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:contributor>Riedel, Holger</dc:contributor>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<dc:contributor>Scholl, Marc H.</dc:contributor>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<dc:language>eng</dc:language>
<dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6294/1/CROQUE_model.pdf"/>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<dcterms:title>The CROQUE-Model : Formalization of the Data Model and Query Language</dcterms:title>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:11:12Z</dcterms:available>
<dc:rights>terms-of-use</dc:rights>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:11:12Z</dc:date>
</rdf:Description>
</rdf:RDF> | |
| kops.description.openAccess | openaccessgreen | |
| kops.flag.knbibliography | false | |
| kops.identifier.nbn | urn:nbn:de:bsz:352-opus-14534 | deu |
| kops.opus.id | 1453 | deu |
| kops.relation.seriesofconstance | Konstanzer Schriften in Mathematik und Informatik | |
| relation.isAuthorOfPublication | 79d29015-25f9-4ec2-bc8e-77a0c07303ba | |
| relation.isAuthorOfPublication.latestForDiscovery | 79d29015-25f9-4ec2-bc8e-77a0c07303ba | |
| relation.isSeriesOfPublication | ea66d95a-84e6-4c61-b6cd-bb04093953bb | |
| relation.isSeriesOfPublication.latestForDiscovery | ea66d95a-84e6-4c61-b6cd-bb04093953bb |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- CROQUE_model.pdf
- Größe:
- 503.69 KB
- Format:
- Adobe Portable Document Format
