S-LOGIC: A HIGHER-ORDER LOGIC LANGUAGE FOR DEDUCTIVE
DATABASES

Cleary, John; Liu, Mengchi

S-LOGIC: A HIGHER-ORDER LOGIC LANGUAGE FOR DEDUCTIVE DATABASES

dc.contributor.author	Cleary, John	eng
dc.contributor.author	Liu, Mengchi	eng
dc.date.accessioned	2008-02-27T16:57:35Z
dc.date.available	2008-02-27T16:57:35Z
dc.date.computerscience	1999-05-27	eng
dc.date.issued	1990-02-01	eng
dc.description.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.	eng
dc.description.notes	We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.ca	eng
dc.identifier.department	1990-379-03	eng
dc.identifier.doi	http://dx.doi.org/10.11575/PRISM/30556
dc.identifier.uri	http://hdl.handle.net/1880/45834
dc.language.iso	Eng	eng
dc.publisher.corporate	University of Calgary	eng
dc.publisher.faculty	Science	eng
dc.subject	Computer Science	eng
dc.title	S-LOGIC: A HIGHER-ORDER LOGIC LANGUAGE FOR DEDUCTIVE DATABASES	eng
dc.type	unknown
thesis.degree.discipline	Computer Science	eng