skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: 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:
 [1];  [2]
  1. Argonne National Lab., IL (United States)
  2. 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}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: