Using semantic information for processing negation and disjunction in logic programs
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, 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.
- Authors:
-
- Argonne National Lab., IL (United States)
- Univ. of Illinois, Chicago (United States)
- Publication Date:
- Research Org.:
- Argonne National Lab., IL (United States)
- Sponsoring Org.:
- USDOE; USDOE, Washington, DC (United States)
- OSTI Identifier:
- 6321717
- Report Number(s):
- ANL/MCS/CP-80151; CONF-9306151-1
ON: DE93017412
- DOE Contract Number:
- W-31109-ENG-38
- Resource Type:
- Conference
- Resource Relation:
- Conference: 7. international symposium on methodologies for intelligent systems, Trondheim (Norway), 15-18 Jun 1993
- Country of Publication:
- United States
- Language:
- English
- Subject:
- 99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; DATA BASE MANAGEMENT; OPTIMIZATION; PROGRAMMING; CONSTRAINTS; DATA PROCESSING; INFORMATION; MATHEMATICAL LOGIC; MANAGEMENT; PROCESSING; 990200* - Mathematics & Computers; 990301 - Information Handling- Data Handling- (1992-)
Citation Formats
Gaasterland, T, and Lobo, J. Using semantic information for processing negation and disjunction in logic programs. United States: N. p., 1993.
Web.
Gaasterland, T, & Lobo, J. Using semantic information for processing negation and disjunction in logic programs. United States.
Gaasterland, T, and Lobo, J. 1993.
"Using semantic information for processing negation and disjunction in logic programs". United States. https://www.osti.gov/servlets/purl/6321717.
@article{osti_6321717,
title = {Using semantic information for processing negation and disjunction in logic programs},
author = {Gaasterland, T and Lobo, J},
abstractNote = {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.},
doi = {},
url = {https://www.osti.gov/biblio/6321717},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Fri Jan 01 00:00:00 EST 1993},
month = {Fri Jan 01 00:00:00 EST 1993}
}