On efficient reasoning with implication constraints (1993) [21 citations — 0 self]
Download:
|
|
by Xubo Zhang, Z. Meral Ozsoyoglu
In DOOD
http://erciyes.ces.cwru.edu/ozsoy/links/dood93.ps
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Zhang93onefficient,author = {Xubo Zhang and Z. Meral Ozsoyoglu},
title = {On efficient reasoning with implication constraints},
booktitle = {In DOOD},
year = {1993},
pages = {236--252}
}
Years of Citing Articles
Abstract:
In this paper, we address the complexity issue of reasoning with implication constraints. We consider the IC-RFT problem, which is the problem of deciding whether a conjunctive yes/no query always produces the empty relation ("no " answer) on database instances satisfying a given set of implication constraints, as a central problem in this respect. We show that several other important problems, such as the query containment problem, are polynomially equivalent to the IC-RFT problem. More importantly, we give criteria for designing a set of implication constraints so that an efficient "units-refutation " process can be used to solve the IC-RFT problem. 1
