F Logic A Higher Order Language For Reasoning About Objects Inheritance And Scheme英文电子书.pdfVIP

F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme Michael Kifer* Georg Lausen Department of Computer Science Fakult t fiir Mat hematik und Informatik SUNY at Stony Brook, Stony Brook, Universitgt Mannheim, D-6800 Mannheim, NY 11794, U.S.A. West Germany Abstract languages. Since logic programming can be used as a full-fledged computational formalism as well as a We propose a database logic which accounts in a clean database specification language, proponents of the de- declarative fashion for most of the “object-oriented” ductive approach have also argued that it is capable of features such as object identity, complex objects, in- overcoming the aforesaid mismatch problem. However, heritance, methods, etc. Furthermore, database schema in their present form both approaches have shortcom- is part of the object language, which allows the user to ings. The main problem with the object-oriented ap- browse schema and data using the same declarative for-