Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article
Free access

F-logic: a higher-order language for reasoning about objects, inheritance, and scheme

Published: 01 June 1989 Publication History
  • Get Citation Alerts
  • Abstract

    We propose a database logic which accounts in a clean declarative fashion for most of the “object-oriented” features such as object identity, complex objects, inheritance, methods, etc. Furthermore, database schema is part of the object language, which allows the user to browse schema and data using the same declarative formalism. The proposed logic has a formal semantics and a sound and complete resolution-based proof procedure, which makes it also computationally attractive.

    References

    [1]
    S. Abiteboul and C. Beeri. On the Power of Languages for Manipulation of Complex Objects. 1987. manuscript.]]
    [2]
    S. Abiteboul and S. Grumbach. COL" A Logic-Based Language for Complex Objects. In Workshop on Database Programming Languages, pages 253-276, Roscoff, France, September 1987.]]
    [3]
    H. Ait-Kaei and R. Nasr. LOGIN" A Logic P~og~amming Language With Built-in Inheritance. Y. Logic Programming, 3"185-215, 1986.]]
    [4]
    F. Baneilhon. Object-O~iented Database Systems. In Proceedings of the A CM SIGACT-SIGMOD- SIGART Symposium on Principles of database Systems, pages 152-162, 1988.]]
    [5]
    F. Bancilhon and S.N. Khoshafian. k Calculus of Complex Objects. In Proceedings of the A CM SIGA CT-SIGMOD-SIGART Symposium on Principles of database Systems, pages 53-59, March 1986.]]
    [6]
    C. Beeri, S. Naqvi, O. Shmueli, and S. Taut. Sets and Negation in a Logic Database Language (LDL). Technical Report, MCC, 1987.]]
    [7]
    C. Beeri, R. Nasr, and S. Taut. Embedding eterms in a Horn-clause Logic Language. In Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, pages 347-359, Morgan Kaufmann, 1988.]]
    [8]
    P. Buneman and A. Ohori. Using Powerdomains to Generalize Relational Databases. Theoretical Computer Science, 1989. to appear.]]
    [9]
    H. Ait-Kaci C. Zaniolo, D. Beech, S. Cammarata, L. Kerschberg, and D. Maier. Object-Oriented Database and Knowledge Systems. Technical Report DB-038-85, MCC, 1985.]]
    [10]
    L. Cazdelli. A Semantics of Multiple Inheritance. In Int. Syrup. on Semantics of data Types, I, NCS 173, pages 51-67, June 1984.]]
    [11]
    C.L. Chang and R.C.T. Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.]]
    [12]
    W. Chen, M. Kifer, and D.S. Warren. HiLog: k First-Order Semantics for Higher-Order Logic Programming Constructs. In $-nd Intl. Workshop on Database Programming Languages, Morgan- Kaufmann, June 1989.]]
    [13]
    W. Chen and D.S. Warren. C-logic for Complex Objects. In Proceedings of the A CM SIGACT- SIGMOD-SIGART Symposium on Principles of database Systems, March 1989. to appear.]]
    [14]
    E.F. Codd. A Relational Model For Large Shared Data Banks. Communication8 of A CM, 13(6):377- 387, 1970.]]
    [15]
    D.W. Etherington and R. Reiter. On Inheritance Hierarchies with Exceptions. In AAAI-83, pages 104-108, Washington, D.C., 1983.]]
    [16]
    R. Fikes and T. Kehler. The Role of Frame-Based Representation in Reasoning. Commun. ACM, 28(9):904--920, 1985.]]
    [17]
    M.L. Ginsberg. Multivslued Logics. In M.L. Ginsberg, editor, Readings in Non-Monotonic Reasoning, pages 251-255, Morgan-Kaufmann, 1987.]]
    [18]
    P.J. Hayes. The Logic for Frames. In D. Metzing, editor, Frame Conception and Tezt Understanding, pages 46-61, Walter de Gruyter and Co., 1979.]]
    [19]
    S.N. Khoshafian and G.P. Copeland. Object Identity. In OOPSLA-86, pages 406-416, 1986.]]
    [20]
    M. Kifer and J. Wu. A Logic for Object-Oriented Logic Programming (Maier's O-logic Revisited). In Proceedings of the A CM $IGA CT.SIGMOD. SIGART Symposium on Principles of database Systems, March 1989. to appear.]]
    [21]
    R. Krishnamurthy and S. Naqvi. Towards a Real Horn Clause Language. in Proceedings of the Intl. Conference on Very Large Data Bases, 1988.]]
    [22]
    G. Kuper and M.Y. Vardi. A New Approach to Database Logic. In Proceedings of the A CM SIGA CT.SIGMOD-SIGART Symposium on Principles of database Systems, 1984.]]
    [23]
    G.M. Kuper. An Eztension of LPS to Arbitrary Sets. Technical Report, IBM, Yorktown Heights, 1987.]]
    [24]
    C. Lecluse and P. Richard. Modeling Inheritance and Genericity in Object-Oriented Databases. In 2-nd Int. Conf. on Database Theory (ICDT), LNCS 326, pages 223-238, Springer Verlag, Bruges, Belgium, 1988.]]
    [25]
    C. Lecluse, P. Richard, and F. Veles. O2, an Object-Oriented Data Model. In Proceedings of the A CM SIGMOD Conference on Management of Data, pages 424--433, 1988.]]
    [26]
    J.W. Lloyd. Foundations of Logic Programming (Second Edition). Springer Verlag, 1987.]]
    [27]
    D. Maier. A Logic for Objects. In Workshop on Foundations of Deductive Databases and Logic Programming, pages 6-26, Washington D.C., August 1986.]]
    [28]
    D. Maier. Why Database Languages are a Bad Idea (position paper). In Proc. of the Workshop on Database Programming Languages, Roscoff, France, September 1987.]]
    [29]
    D. Maier, J. Stein, A. Otis, and A. Purdy. Development of an Object-Oriented DBMS. In Proceedings of OOPSLA-86, pages 472-482, 1986.]]
    [30]
    D. Maier and D.S. Warren. A Theory of Computed Relations. Technical Report 80/12, Department of Computer Science, SUNY at Stony Brook, November 1980.]]
    [31]
    D. Maier and D.S. Warren. Incorporation Computed Relations in Relational Databases. Technical Report 80/17, Department of Computer Science, SUNY at Stony Brook, December 1980.]]
    [32]
    J. McCarthy. First Order Theories of Individual Concepts and Propositions. In :I.E. Hayes and D. Miehie, editors, Machine Inteligence, pages 129- 147, Edinburgh University Press, 1979.]]
    [33]
    M. Minsky. A Framework for Representing Knowledge. In J. Haugeland, editor, Mind design, pages 95-128, MIT Press, Cambridge, MA, 1981.]]
    [34]
    A. Motto. BAROQUE: A Browser for Relational Databases. A CM Trans. on Office Information Systems, 4(2):164-181, 1986.]]
    [35]
    E. Neuhold and M. Stonebraker. Future Directions in DBMS Research. 1988. The Laguna Beech Report.]]
    [36]
    T.C. przymusinski. On The Declarative Semantics of Deductive Databases and Logic Programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193-216, Morgan Kaufmann, Los Altos, CA, 1988.]]
    [37]
    M.A. Roth, H.F. Korth, and A. Silbersehatz. Eztended Algebra and Calculus for -~INF Relational Databases. Technical Report 84-36, Univ. of Texas at Austin, 1985.]]
    [38]
    G. Smolka and H. Ait-Kaei. inheritance Hierarchies: Semantics and Unification. Technical Report AI-057-87, MCC, May 1987.]]
    [39]
    M. Stefik and D.G. Bobrow. Object-Oriented Programming: Themes and Variations. The AI Magazine, 40-62, January 1986.]]
    [40]
    D.S. Touretzky. The Mathematics of Inheritance. Morgan-Kaufmann, Los Altos, CA, 1986.]]
    [41]
    D.S. Touretzky, J.F. ttorty, and R.H. Thornsson. A Clash of Intuitions: The Current State of Nonmonotonie Multiple inheritance Systems. In IJCAI-87, pages 476-482, 1987.]]
    [42]
    Vbase Object Manager. Ontologie, Inc., 1986. User Manual.]]
    [43]
    P. Wegner. The Object-Oriented Classification Paradigm. 1987. manuscript.]]
    [44]
    D. Woelk, W. Kim, and W. Luther. Multimedia Information Management in an Object-Oriented Database System. In Proceedings of the Intl. Conference on Very Large Data Bases, 1987.]]

    Cited By

    View all
    • (2023)Static Analysis of Graph Database TransformationsProceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3584372.3588654(251-261)Online publication date: 18-Jun-2023
    • (2023)Knowledge Authoring for Rules and ActionsTheory and Practice of Logic Programming10.1017/S1471068423000169(1-15)Online publication date: 12-Jul-2023
    • (2023)Symbolic and Hybrid Models of CognitionThe Cambridge Handbook of Computational Cognitive Sciences10.1017/9781108755610.007(139-172)Online publication date: 21-Apr-2023
    • Show More Cited By

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM SIGMOD Record
    ACM SIGMOD Record  Volume 18, Issue 2
    June 1989
    442 pages
    • cover image ACM Conferences
      SIGMOD '89: Proceedings of the 1989 ACM SIGMOD international conference on Management of data
      June 1989
      451 pages
      ISBN:0897913175
      DOI:10.1145/67544
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 01 June 1989
    Published in SIGMOD Volume 18, Issue 2

    Check for updates

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)106
    • Downloads (Last 6 weeks)30
    Reflects downloads up to 12 Aug 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2023)Static Analysis of Graph Database TransformationsProceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3584372.3588654(251-261)Online publication date: 18-Jun-2023
    • (2023)Knowledge Authoring for Rules and ActionsTheory and Practice of Logic Programming10.1017/S1471068423000169(1-15)Online publication date: 12-Jul-2023
    • (2023)Symbolic and Hybrid Models of CognitionThe Cambridge Handbook of Computational Cognitive Sciences10.1017/9781108755610.007(139-172)Online publication date: 21-Apr-2023
    • (2023)Cognitive Modeling ParadigmsThe Cambridge Handbook of Computational Cognitive Sciences10.1017/9781108755610.004(27-370)Online publication date: 21-Apr-2023
    • (2023)A frame and first-order logic solution for the Wumpus WorldExpert Systems with Applications: An International Journal10.1016/j.eswa.2023.119717220:COnline publication date: 15-Jun-2023
    • (2022)New directions for applied knowledge-based AI and machine learningInformatik Spektrum10.1007/s00287-022-01513-946:2(65-78)Online publication date: 30-Dec-2022
    • (2022)Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation SearchRisks and Security of Internet and Systems10.1007/978-3-031-02067-4_6(91-107)Online publication date: 9-Apr-2022
    • (2021)60 Years of Databases (part two)PROBLEMS IN PROGRAMMING10.15407/pp2021.04.036(036-061)Online publication date: Dec-2021
    • (2021)Graph matching based reasonerEngineering Applications of Artificial Intelligence10.1016/j.engappai.2021.104425105:COnline publication date: 1-Oct-2021
    • (2020)RDF 1.1: Knowledge Representation and Data Integration Language for the WebSymmetry10.3390/sym1201008412:1(84)Online publication date: 2-Jan-2020
    • Show More Cited By

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Get Access

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media