An extension to GCWA and query evaluation for disjunctive deductive databases

No Thumbnail Available
File version
Author(s)
Wang, KW
Zhou, LZ
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Larry Kerschberg et al

Date
2001
Size
File type(s)
Location
License
Abstract

We present a simple and intuitive extension GCWAG of the generalized closed world assumption (GCWA) from positive disjunctive deductive databases to general disjunctive deductive databases (with default negation). This semantics is defined in terms of unfounded sets and possesses an argumentation-theoretic characterization. We also provide a top-down procedure for GCWAG, which is sound and complete with respect to GCWAG. We investigate two query evaluation methods for GCWAG: database partition, and database splitting. The basic idea of these methods is to divide the original deductive database into several smaller sub-databases and the query evaluation in the original database is transformed into the problem of query evaluation in smaller or simplified components. We prove that these two methods of query evaluation are all sound with respect to GCWAG.

Journal Title

Journal of Intelligent Information Systems

Conference Title
Book Title
Edition
Volume

16

Issue

3

Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Data management and data science

Persistent link to this record
Citation
Collections