Title :
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
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;
Conference_Titel :
Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International
Conference_Location :
Seoul
Print_ISBN :
0-8186-7579-9
DOI :
10.1109/CMPSAC.1996.544602
