Using semantic information for processing negation and disjunction in logic programs
- Argonne National Lab., IL (US)
- Univ. of Illinois, Chicago, IL (US). Dept. of Electrical Engineering and Computer Science
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, the authors generalize the semantic query optimization method to apply to negated atoms. The generalized method is referred to as semantic compilation. They show that semantic compilation provides an alternative search space for negative query literals. They also show 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.
- Research Organization:
- Argonne National Lab., IL (United States)
- Sponsoring Organization:
- USDOE, Washington, DC (United States)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 10173101
- Report Number(s):
- ANL/MCS/CP-80151; CONF-9306151-1; ON: DE93017412; TRN: 93:002527
- Resource Relation:
- Conference: 7. international symposium on methodologies for intelligent systems,Trondheim (Norway),15-18 Jun 1993; Other Information: PBD: [1993]
- Country of Publication:
- United States
- Language:
- English
Similar Records
Processing negation and disjunction in logic programs through integrity constraints.
Parallel-logic programming and parallel-system software and hardware. Final report, 1 Nov 89-31 Dec 90