F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.

@inproceedings{DBLP:conf/sigmod/KiferL89,
  author    = {Michael Kifer and
               Georg Lausen},
  editor    = {James Clifford and
               Bruce G. Lindsay and
               David Maier},
  title     = {F-Logic: A Higher-Order language for Reasoning about Objects,
               Inheritance, and Scheme},
  booktitle = {Proceedings of the 1989 ACM SIGMOD International Conference on
               Management of Data, Portland, Oregon, May 31 - June 2, 1989},
  publisher = {ACM Press},
  year      = {1989},
  pages     = {134-146},
  ee        = {http://doi.acm.org/10.1145/67544.66939, db/conf/sigmod/KiferL89.html},
  crossref  = {DBLP:conf/sigmod/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1989 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

• 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/smod7592 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/aDVD1 or /dvd

Printed Edition

Online Edition: ACM Digital Library

References

[1]

Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995)

[2]

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374

[3]

Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986)

[4]

François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162

[5]

François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60

[6]

Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37

[7]

Catriel Beeri, Roger Nasr, Shalom Tsur: Embedding Psi-Terms in a Horn-Clause Logic Language. JCDKB 1988: 347-359

[8]

Peter Buneman, Achim Jung, Atsushi Ohori: Using Powerdomains to Generalize Relational Databases. Theor. Comput. Sci. 91(1): 23-55(1991)

[9]

...

[10]

Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164(1988)

[11]

...

[12]

Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114

[13]

Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378

[14]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)

[15]

David W. Etherington, Raymond Reiter: On Inheritance Hierarchies With Exceptions. AAAI 1983: 104-108

[16]

Richard Fikes, Tom Kehler: The Role of Frame-Based Representation in Reasoning. Commun. ACM 28(9): 904-920(1985)

[17]

...

[18]

...

[19]

Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416

[20]

Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393

[21]

Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263

[22]

Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96

[23]

...

[24]

Christophe Lécluse, Philippe Richard: Modeling Inheritance and Genericity in Object Oriented-Databases. ICDT 1988: 223-238

[25]

Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433

[26]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7

[27]

...

[28]

...

[29]

David Maier, Jacob Stein, Allen Otis, Alan Purdy: Development of an Object-Oriented DBMS. OOPSLA 1986: 472-482

[30]

...

[31]

David Maier, David Scott Warren: Incorporating Computed Relations in Relational Databases. SIGMOD Conference 1981: 176-187

[32]

...

[33]

...

[34]

Amihai Motro: BAROQUE: A Browser for Relational Databases. ACM Trans. Inf. Syst. 4(2): 164-181(1986)

[35]

Philip A. Bernstein, Umeshwar Dayal, David J. DeWitt, Dieter Gawlick, Jim Gray, Matthias Jarke, Bruce G. Lindsay, Peter C. Lockemann, David Maier, Erich J. Neuhold, Andreas Reuter, Lawrence A. Rowe, Hans-Jörg Schek, Joachim W. Schmidt, Michael Schrefl, Michael Stonebraker: Future Directions in DBMS Research - The Laguna Beach Participants. SIGMOD Record 18(1): 17-26(1989)

[36]

...

[37]

...

[38]

Gert Smolka, Hassan Aït-Kaci: Inheritance Hierarchies: Semantics and Unification. J. Symb. Comput. 7(3/4): 343-370(1989)

[39]

...

[40]

...

[41]

David S. Touretzky, John F. Horty, Richmond H. Thomason: A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems. IJCAI 1987: 476-482

[42]

...

[43]

...

[44]

...

Referenced by

1. Stefan Deßloch, Theo Härder, Nelson Mendonça Mattos, Bernhard Mitschang, Joachim Thomas: Advanced Data Processing in KRISYS: Modeling Concepts, Implementation Techniques, and Client/Server Issues. VLDB J. 7(2): 79-95(1998)
2. Anna Formica, Hans Dietmar Gröger, Michele Missikoff: An Efficient Method for Checking Object-Oriented Database Schema Correctness. ACM Trans. Database Syst. 23(3): 333-369(1998)
3. Nicola Leone, Pasquale Rullo, Antonella Mecchia, Giuseppe Rossi: A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 539-558(1997)
4. Elisa Bertino, Paola Foscoli: On Modeling Cost Functions for Object-Oriented Databases. IEEE Trans. Knowl. Data Eng. 9(3): 500-508(1997)
5. Vasilis Vassalos, Yannis Papakonstantinou: Describing and Using Query Capabilities of Heterogeneous Sources. VLDB 1997: 256-265
6. Stéphane Bressan, Cheng Hian Goh, Kofi Fynn, Marta Jessica Jakobisiak, Karim Hussein, Henry B. Kon, Thomas Lee, Stuart E. Madnick, Tito Pena, Jessica Qu, Annie W. Shum, Michael Siegel: The COntext INterchange Mediator Prototype. SIGMOD Conference 1997: 525-527
7. Serge Abiteboul, Sophie Cluet, Tova Milo: Correspondence and Translation for Heterogeneous Data. ICDT 1997: 351-363
8. Serge Abiteboul: Querying Semi-Structured Data. ICDT 1997: 1-18
9. Susan B. Davidson, Anthony Kosky: WOL: A Language for Database Transformations and Constraints. ICDE 1997: 55-65
10. Zoé Lacroix, Claude Delobel, Philippe Brèche: Object Views and Database Restructuring. DBPL 1997: 180-201
11. Stephen T. C. Wong, Satoshi Tojo: A Deductive Object-Oriented Database System for Situated Inference in Law. IEEE Trans. Knowl. Data Eng. 8(3): 496-503(1996)
12. F. Nihan Kesim, Marek J. Sergot: A Logic Programming Framework for Modeling Temporal Objects. IEEE Trans. Knowl. Data Eng. 8(5): 724-741(1996)
13. Peter Buneman, Susan B. Davidson, Gerd G. Hillebrand, Dan Suciu: A Query Language and Optimization Techniques for Unstructured Data. SIGMOD Conference 1996: 505-516
14. Yannis Papakonstantinou, Hector Garcia-Molina, Jeffrey D. Ullman: MedMaker: A Mediation System Based on Declarative Specifications. ICDE 1996: 132-141
15. Nevzat Hurkan Balkir, Eser Sükan, Gultekin Özsoyoglu, Z. Meral Özsoyoglu: VISUAL: A Graphical Icon-Based Query Language. ICDE 1996: 524-533
16. H. V. Jagadish: The INCINERATE Data Model. ACM Trans. Database Syst. 20(1): 71-110(1995)
17. Ti-Pin Chang, Richard Hull: Using Witness Generators to Support Bi-directional Update Between Object-Based Databases. PODS 1995: 196-207
18. Xiaolei Qian, Louiqa Raschid: Query Interoperation Among Object-Oriented and Relational Databases. ICDE 1995: 271-278
19. Olga De Troyer, Robert Meersman: A Logic Framework for a Semantics of Object-Oriented Data Modeling. OOER 1995: 238-249
20. Joachim Biskup, Ralf Menzel, Torsten Polle: Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas. ADBIS 1995: 109-136
21. Nabil Kamel, Ping Wu, Stanley Y. W. Su: A Pattern-Based Object Calculus. VLDB J. 3(1): 53-76(1994)
22. Maria L. Barja, Norman W. Paton, Alvaro A. A. Fernandes, M. Howard Williams, Andrew Dinn: An Effective Deductive Object-Oriented Database Through Language Integration. VLDB 1994: 463-474
23. Xian Ye, Christine Parent, Stefano Spaccapietra: Cardinality Consistency of Derived Objects in DOOD Systems. ER 1994: 278-295
24. Gabriel M. Kuper, Moshe Y. Vardi: The Logical Data Model. ACM Trans. Database Syst. 18(3): 379-413(1993)
25. Giuseppe Di Battista, Maurizio Lenzerini: Deductive Entity-Relationship Modeling. IEEE Trans. Knowl. Data Eng. 5(3): 439-450(1993)
26. Divesh Srivastava, Raghu Ramakrishnan, Praveen Seshadri, S. Sudarshan: Coral++: Adding Object-Orientation to a Logic Database Language. VLDB 1993: 158-170
27. Kumar V. Vadaparty, Y. Alp Aslandogan, Gultekin Özsoyoglu: Towards a Unified Visual Database Access. SIGMOD Conference 1993: 357-366
28. José Meseguer, Xiaolei Qian: A Logical Semantics for Object-Oriented Databases. SIGMOD Conference 1993: 89-98
29. Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41
30. Jaroslaw A. Chudziak, Henryk Rybinski, James Vorbach: Towards a Unifying Logic Formalism for Semantic Data Models. ER 1993: 492-507
31. Sergio Greco, Nicola Leone, Pasquale Rullo: COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4(4): 344-359(1992)
32. Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
33. Michael Kifer, Won Kim, Yehoshua Sagiv: Querying Object-Oriented Databases. SIGMOD Conference 1992: 393-402
34. Isabel F. Cruz: DOODLE: A Visual Language for Object-Oriented Databases. SIGMOD Conference 1992: 71-80
35. Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992: 1-15
36. Ling Liu: Exploring Semantics in Aggregation Hierarchies for Object-Oriented Databases. ICDE 1992: 116-125
37. Georges Gardarin, Patrick Valduriez: ESQL2: An Object-Oriented SQL with F-Logic Semantics. ICDE 1992: 320-327
38. Michael Kifer: A First-Order Formalism of Object-Oriented Languages. IEEE Data Eng. Bull. 14(2): 13-17(1991)
39. Yanjun Lou, Z. Meral Özsoyoglu: LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance. SIGMOD Conference 1991: 198-207
40. Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340
41. Roel Wieringa, John-Jules Ch. Meyer: Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103
42. Andreas Heuer, Peter Sander: Classifying Object-Oriented Query Results in a Class/Type Lattice. MFDBS 1991: 14-28
43. Andreas Heuer, Peter Sander: Preserving and Generating Objects in the LIVING IN A LATTICE Rule Language. ICDE 1991: 562-569
44. Edward Sciore: Abbreviation Techniques in Entity-Relationship Query Languages. ER 1991: 129-145
45. Yves Caseau, Laurent Perron: A Type System for Object-Oriented Database Programming and Querying Languages. DBPL 1991: 218-235
46. Yves Caseau: The LAURE Model for Object-Oriented Logic Databases. DASFAA 1991: 411-420
47. Els Laenens, Domenico Saccà, Dirk Vermeir: Extending Logic Programming. SIGMOD Conference 1990: 184-193
48. Won Kim: Research Directions in Object-Oriented Database Systems. PODS 1990: 1-15
49. Marc Gyssens, Jan Paredaens, Dirk Van Gucht: A Graph-Oriented Object Database Model. PODS 1990: 417-424
50. Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393
51. Shamim A. Naqvi: Stratification as a Design Principle in Logical Query Langugages. DBPL 1989: 342-356
52. Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329

Last update Fri May 25 08:38:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page