Logical Foundations of Object-Oriented and Frame-Based Languages.

@article{DBLP:journals/jacm/KiferLW95,
  author    = {Michael Kifer and
               Georg Lausen and
               James Wu},
  title     = {Logical Foundations of Object-Oriented and Frame-Based Languages},
  journal   = {J. ACM},
  volume    = {42},
  number    = {4},
  year      = {1995},
  pages     = {741-843},
  ee        = {db/journals/jacm/KiferLW95.html, db/journals/jacm/KiferLW95.html, http://doi.acm.org/10.1145/210332.210335},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An5-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Online Edition

Referenced by

1. Hasan M. Jamil: Belief Reasoning in MLS Deductive Databases. SIGMOD Conference 1999: 109-120
2. Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan: A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999: 491-502
3. Wolfgang May, Rainer Himmeröder, Georg Lausen, Bertram Ludäscher: A Unified Framework for Wrapping, Mediating and Restructuring Information from the Web. ER (Workshops) 1999: 307-320
4. Dieter Fensel, Jürgen Angele, Rudi Studer: The Knowledge Acquisition and Representation Language KARL. IEEE Trans. Knowl. Data Eng. 10(4): 527-550(1998)
5. Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori: Consistency Checking in Complex Object Database Schemata with Integrity Constraints. IEEE Trans. Knowl. Data Eng. 10(4): 576-598(1998)
6. Daniela Florescu, Alon Y. Levy, Alberto O. Mendelzon: Database Techniques for the World-Wide Web: A Survey. SIGMOD Record 27(3): 59-74(1998)
7. Mengchi Liu, Min Guo: ROL2: A Real Deductive Object-Oriented Database Language. ER 1998: 302-315
8. Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418(1997)
9. Hasan M. Jamil: Implementing Abstract Objects with Inheritance in Datalog^neg. VLDB 1997: 56-65
10. Isabel F. Cruz, Michael Averbuch, Wendy T. Lucas, Melissa Radzyminski, Kirby Zhang: Delaunay: A Database Visualization System. SIGMOD Conference 1997: 510-513
11. Serge Abiteboul, Sophie Cluet, Tova Milo: Correspondence and Translation for Heterogeneous Data. ICDT 1997: 351-363
12. Jürgen Frohn, Rainer Himmeröder, Paul-Thomas Kandzia, Georg Lausen, Christian Schlepphorst: FLORID: A Prototype for F-Logic. ICDE 1997: 583
13. Suad Alagic: Constrained Matching is Type Safe. DBPL 1997: 78-96
14. Laks V. S. Lakshmanan, Fereidoon Sadri, Iyer N. Subramanian: SchemaSQL - A Language for Interoperability in Relational Multi-Database Systems. VLDB 1996: 239-250
15. Holger Riedel, Andreas Heuer: Evaluation and Optimization of the LIVING IN A LATTICE Rule Language. ICDE 1996: 318-325
16. Joachim Biskup, Ralf Menzel, Torsten Polle, Yehoshua Sagiv: Decomposition of Relationships through Pivoting. ER 1996: 28-41
17. David W. Embley, Stephen W. Liddle, Yiu-Kai Ng: On Harmonically Combining Active, Object-Oriented, and Deductive Databases. ADBIS 1996: 21-30
18. Alexander Brodsky, Yoram Kornatzky: The LyriC Language: Querying Constraint Objects. SIGMOD Conference 1995: 35-46
19. Weidong Chen, Michael Kifer: Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995: 252-265
20. Michele Bugliesi, Hasan M. Jamil: A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. ICDT 1995: 222-237
21. Mihhail Matskin, Hele-Mai Haav: A Deductive Object-Oriented Approach to Information System Modeling. ADBIS 1995: 459-478
22. Joachim Biskup, Ralf Menzel, Torsten Polle: Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas. ADBIS 1995: 109-136
23. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
24. Jürgen Frohn, Georg Lausen, Heinz Uphoff: Access to Objects by Path Expressions and Rules. VLDB 1994: 273-284
25. Atsushi Ohori, Keishi Tajima: A Polymorphic Calculus for Views and Object Sharing. PODS 1994: 255-266
26. Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41
27. Anthony J. Bonner, Michael Kifer, Mariano P. Consens: Database Programming in Transaction Logic. DBPL 1993: 309-337
28. Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
29. Michael Kifer, Won Kim, Yehoshua Sagiv: Querying Object-Oriented Databases. SIGMOD Conference 1992: 393-402
30. Isabel F. Cruz: DOODLE: A Visual Language for Object-Oriented Databases. SIGMOD Conference 1992: 71-80
31. Edward P. F. Chan: Containment and Minimization of Positive Conjunctive Queries in OODB's. PODS 1992: 202-211
32. Jan Van den Bussche, Dirk Van Gucht: Semi-determinism. PODS 1992: 191-201
33. Jan Van den Bussche, Dirk Van Gucht: A Hierarchy of Faithful Set Creation in Pure OODB's. ICDT 1992: 326-340
34. Georges Gardarin, Patrick Valduriez: ESQL2: An Object-Oriented SQL with F-Logic Semantics. ICDE 1992: 320-327
35. Michael Kifer: A First-Order Formalism of Object-Oriented Languages. IEEE Data Eng. Bull. 14(2): 13-17(1991)
36. Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340
37. Jan Van den Bussche, Jan Paredaens: The Expressive Power of Structured Values in Pure OODB's. PODS 1991: 291-299