A logic database system with extended functionality

Author

Lee, Sang-goo ; Choi, Dong-Hoon ; Lee, Sang-Ho

Author_Institution

Dept. of Comput. Sci., Seoul Nat. Univ., South Korea

fYear

1996

fDate

21-23 Aug 1996

Firstpage

414

Lastpage

419

Abstract

We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non Horn) facts in extensional database (EDB) and existential quantification in intensional database (IDB) rules. Semantic query optimization is integrated as part of the query processing module. The system also deals with efficient rule management for IDB and integrity constraints (IC). The proposed system supports the following database: the EDB consists of a set of positive ground formula, not necessarily Horn; the IDB includes rules that are Horn and may have existential quantifiers. The IC includes range restricted Horn clauses with no existential quantification

Keywords

Horn clauses; data integrity; deductive databases; knowledge based systems; query processing; IDB; existential quantification; extended functionality; extensional database; indefinite non Horn facts; integrity constraints; intensional database rules; logic database system; positive ground formula; query processing module; range restricted Horn clauses; rule management; semantic query optimization; Computer architecture; Computer science; Database systems; Deductive databases; Ground support; Integrated circuit modeling; Logic design; Logic programming; Object oriented modeling; Query processing;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International

Conference_Location

Seoul

ISSN

0730-3157

Print_ISBN

0-8186-7579-9

Type

conf

DOI

10.1109/CMPSAC.1996.544602

Filename

544602