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}
}
BibTeX

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 ... BibTeX

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
BibTeX

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

Referenced by

  1. Susan B. Davidson, Anthony Kosky: Specifying Database Transformations in WOL. IEEE Data Eng. Bull. 22(1): 25-30(1999)
  2. Yue Zhuge, Hector Garcia-Molina: Graph Structured Views and Their Incremental Maintenance. ICDE 1998: 116-125
  3. Paolo Atzeni, Giansalvatore Mecca, Paolo Merialdo: To Weave the Web. VLDB 1997: 206-215
  4. Richard Hull: Managing Semantic Heterogeneity in Databases: A Theoretical Perspective. PODS 1997: 51-61
  5. Serge Abiteboul, Sophie Cluet, Tova Milo: Correspondence and Translation for Heterogeneous Data. ICDT 1997: 351-363
  6. Susan B. Davidson, Anthony Kosky: WOL: A Language for Database Transformations and Constraints. ICDE 1997: 55-65
  7. Zoé Lacroix, Claude Delobel, Philippe Brèche: Object Views and Database Restructuring. DBPL 1997: 180-201
  8. Yannis Papakonstantinou, Serge Abiteboul, Hector Garcia-Molina: Object Fusion in Mediator Systems. VLDB 1996: 413-424
  9. Jan Paredaens, Peter Peelman, Letizia Tanca: G-Log: A Graph-Based Query Language. IEEE Trans. Knowl. Data Eng. 7(3): 436-453(1995)
  10. Mark Levene, George Loizou: A Graph-Based Data Model and its Ramifications. IEEE Trans. Knowl. Data Eng. 7(5): 809-823(1995)
  11. Ti-Pin Chang, Richard Hull: Using Witness Generators to Support Bi-directional Update Between Object-Based Databases. PODS 1995: 196-207
  12. Marc Andries, Luca Cabibbo, Jan Paredaens, Jan Van den Bussche: Applying an Update Method to a Set of Receivers. PODS 1995: 208-218
  13. Luca Cabibbo: On the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformations. ICDT 1995: 208-221
  14. Martin Gogolla: A Declarative Query Approach to Object Identification. OOER 1995: 65-76
  15. Anthony Kosky: Observational Distinguishability of Databases with Object Identity. DBPL 1995: 11
  16. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
  17. Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen: Reflective Programming in the Relational Algebra. PODS 1993: 17-25
  18. Anton P. Karadimce, Susan Darling Urban: A Framework for Declarative Updates and Constraint Maintenance in Object-Oriented Databases. ICDE 1993: 391-398
  19. Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca: IsaLog: A declarative language for complex objects with hierarchies. ICDE 1993: 219-228
  20. Theodore W. Leung, Gail Mitchell, Bharathi Subramanian, Bennet Vance, Scott L. Vandenberg, Stanley B. Zdonik: The AQUA Data Model and Algebra. DBPL 1993: 157-175
  21. Edward P. F. Chan: Containment and Minimization of Positive Conjunctive Queries in OODB's. PODS 1992: 202-211
  22. Jan Van den Bussche, Dirk Van Gucht: Semi-determinism. PODS 1992: 191-201
  23. Jan Van den Bussche, Dirk Van Gucht: A Hierarchy of Faithful Set Creation in Pure OODB's. ICDT 1992: 326-340
  24. Richard Hull, Surjatini Widjojo, Dave Wile, Masatoshi Yoshikawa: On Data Restructuring and Merging with Object Identity. IEEE Data Eng. Bull. 14(2): 18-22(1991)
  25. Yanjun Lou, Z. Meral Özsoyoglu: LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance. SIGMOD Conference 1991: 198-207
  26. Kumar V. Vadaparty: On the Power of Rule-Based Languages with Sets. PODS 1991: 26-36
  27. Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340
  28. Jan Van den Bussche, Jan Paredaens: The Expressive Power of Structured Values in Pure OODB's. PODS 1991: 291-299
  29. Filippo Cacace, Stefano Ceri, Letizia Tanca: Consistency and Non-determinism in a Database Programming Language. MFDBS 1991: 325-341
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:45 2009