Abstract | ||
---|---|---|
There are many applications in which integrity constraints can play an important role. An example is the semantic query optimization method developed by Chakravarthy, Grant, and Minker for definite deductive databases. They use integrity constraints during query processing to prevent the exploration of search space that is bound to fail. In this paper, we generalize the semantic query optimization method to apply to negated atoms. The generalized method is referred to as semantic compilation. We show that semantic compilation provides an alternative search space for negative query literals. We also how semantic compilation can be used to transform a disjunctive database with or without functions and denial constraints without negation into a new disjunctive database that complies with the integrity constraints. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/3-540-56804-2_19 | ISMIS |
Keywords | Field | DocType |
semantic information,processing negation,logic programs,integrity constraints,data processing,search space | Semantic query optimization,Data mining,Data processing,Programming language,Negation,Computer science,Theoretical computer science,Semantic information,Data integrity,Semantic computing,Mathematical logic | Conference |
ISBN | Citations | PageRank |
3-540-56804-2 | 1 | 0.36 |
References | Authors | |
8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Terry Gaasterland | 1 | 447 | 148.59 |
Jorge Lobo | 2 | 277 | 66.34 |