Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45834
Title: S-LOGIC: A HIGHER-ORDER LOGIC LANGUAGE FOR DEDUCTIVE DATABASES
Authors: Cleary, John
Liu, Mengchi
Keywords: Computer Science
Issue Date: 1-Feb-1990
Abstract: Deductive databases based on relational databases and Prolog techniques are not suitable for complex object modeling. The problems result from the underlying relational model and the pure Prolog which use inexpressive flat structures. Semantic data models using data abstractions and inheritance greatly increase expressiveness. So do extended terms with internal structure in logic programming. This paper proposes a higher-order logic language for deductive databases called S-logic which is the combination of the semantic data model and extended term approaches. It supports object identity, semantic data abstractions and inheritance very naturally and allows the definition and manipulation of database schema and data in an integrated framework.
URI: http://hdl.handle.net/1880/45834
Appears in Collections:Cleary, John

Files in This Item:
File Description SizeFormat 
1990-379-03.pdf1.36 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.