ACM SIGMOD Anthology VLDB dblp.uni-trier.de

ILOG: Declarative Creation and Manipulation of Object Identifiers.

Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468
@inproceedings{DBLP:conf/vldb/HullY90,
  author    = {Richard Hull and
               Masatoshi Yoshikawa},
  editor    = {Dennis McLeod and
               Ron Sacks-Davis and
               Hans-J{\"o}rg Schek},
  title     = {ILOG: Declarative Creation and Manipulation of Object Identifiers},
  booktitle = {16th International Conference on Very Large Data Bases, August
               13-16, 1990, Brisbane, Queensland, Australia, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-149-X},
  pages     = {455-468},
  ee        = {db/conf/vldb/HullY90.html},
  crossref  = {DBLP:conf/vldb/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper introduces ILOG(¬), a declarative language in the style of (stratified) datalog(¬), which can be used for querying, schema translation, and schema augmentation in the context of object-based data models. The semantics of ILOG(¬) is based on the use of Skolem functors, and is closely related to semantics for object-based data manipulation languages which provide mechanisms for explicit creation of object identifiers (OIDs). A normal form is presented for ILOG¬ programs not involving recursion through OID creation, which identifies a precise correspondence between OIDs created in the target, and values and OIDs in the source. The expressive power of various sublanguages of ILOG¬ is shownto range from a natural generalization of the conjunctive queries to the object-based context, to a language which can specify all computable database translations (up to duplicate copies). The issue of testing validity of ILOG(¬) programs translating one semantic schema to another is studied: cases are presented for which several validity issues (e.g., functional and/or subset relationships in the target schema) are decidable; and other cases are presented for which they areundecidable. Non-recursive ILOG is rich enough to simulate some schema translation languages based on local structural manipulation, and non-recursive ILOG¬ can simulate the core of the OO Algebra of [Day89], and of several other translation languages of the systems literature.

Copyright © 1990 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Dennis McLeod, Ron Sacks-Davis, Hans-Jörg Schek (Eds.): 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings. Morgan Kaufmann 1990, ISBN 1-55860-149-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[AB86]
Serge Abiteboul, Nicole Bidoit: Non First Normal Form Relations: An Algebra Allowing Data Restructuring. J. Comput. Syst. Sci. 33(3): 361-393(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Abi89]
Serge Abiteboul: Towards a Deductive Object-Oriented Database Language. DOOD 1989: 453-472 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[ABW86]
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AG88]
Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AH87]
Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AH88]
Serge Abiteboul, Richard Hull: Data Functions, Datalog and Negation (Extended Abstract). SIGMOD Conference 1988: 143-153 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AK89]
Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AK90]
...
[Apt88]
...
[AV87]
Serge Abiteboul, Victor Vianu: A Transcation Language Complete for Database Update and Specification. PODS 1987: 260-268 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AV88a]
Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AV88b]
Serge Abiteboul, Victor Vianu: Procedural and Declarative Database Update Languages. PODS 1988: 240-250 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Bee89]
Catriel Beeri: Formal Models for Object Oriented Databases. DOOD 1989: 405-430 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BM81]
Amihai Motro, Peter Buneman: Constructing Superviews. SIGMOD Conference 1981: 56-64 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CFP84]
Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. J. Comput. Syst. Sci. 28(1): 29-59(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CH80]
Ashok K. Chandra, David Harel: Computable Queries for Relational Data Bases. J. Comput. Syst. Sci. 21(2): 156-178(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Che76]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CM77]
Ashok K. Chandra, Philip M. Merlin: Optimal Implementation of Conjunctive Queries in Relational Data Bases. STOC 1977: 77-90 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Coh86]
Donald Cohen: Automatic Compilation of Logical Specifications into Efficient Programs. AAAI 1986: 21-25 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Coh89]
Donald Cohen: Compiling Complex Database Transition Triggers. SIGMOD Conference 1989: 225-234 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CW89]
Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Day89]
Umeshwar Dayal: Queries and Views in an Object-Oriented Data Model. DBPL 1989: 80-102 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[DH84]
Umeshwar Dayal, Hai-Yann Hwang: View Definition and Generalization for Database Integration in a Multidatabase System. IEEE Trans. Software Eng. 10(6): 628-645(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GR83]
Adele Goldberg, David Robson: Smalltalk-80: The Language and Its Implementation. Addison-Wesley 1983
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HK87]
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HM85]
Dennis Heimbigner, Dennis McLeod: A Federated Architecture for Information Management. ACM Trans. Inf. Syst. 3(3): 253-278(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Hul86]
Richard Hull: Relative Information Capacity of Simple Relational Database Schemata. SIAM J. Comput. 15(3): 856-886(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Hul89]
Richard Hull: Four Views of Complex Objects: A Sophisticate's Introduction. NF² 1987: 87-116 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[HWW90]
...
[HY91]
...
[Jac89]
Dean Jacobs: A Type System for Algebraic Database Programming Languages. DBPL 1989: 238-247 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[JK84]
David S. Johnson, Anthony C. Klug: Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies. J. Comput. Syst. Sci. 28(1): 167-189(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KC86]
Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Klu80]
Anthony C. Klug: Calculating Constraints on Relational Expressions. ACM Trans. Database Syst. 5(3): 260-290(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KP82]
Anthony C. Klug, Rod Price: Determining View Dependencies Using Tableaux. ACM Trans. Database Syst. 7(3): 361-380(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KV84]
Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KW89]
Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Llo87]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LV87]
Peter Lyngbæk, Victor Vianu: Mapping a Semantic Database Model to the Relational Model. SIGMOD Conference 1987: 132-142 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Mai86]
...
[Mit83]
John C. Mitchell: The Implication Problem for Functional and Inclusion Dependencies. Information and Control 56(3): 154-173(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Mot87]
Amihai Motro: Superviews: Virtual Integration of Multiple Databases. IEEE Trans. Software Eng. 13(7): 785-798(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[NT89]
Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[RKS88]
Mark A. Roth, Henry F. Korth, Abraham Silberschatz: Extended Algebra and Calculus for Nested Relational Databases. ACM Trans. Database Syst. 13(4): 389-417(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[She90]
Yeh-Heng Sheng: IDLOG: Extending the Expressive Power of Deductive Database Languages. SIGMOD Conference 1990: 54-63 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Shi81]
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ull87]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Var82]
Moshe Y. Vardi: The Complexity of Relational Query Languages (Extended Abstract). STOC 1982: 137-146 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[vG86]
Allen Van Gelder: Negation as Failure Using Tight Derivations for General Logic Programs. SLP 1986: 127-138 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[WHW89]
...

Copyright © Tue Mar 16 02:22:01 2010 by Michael Ley (ley@uni-trier.de)