Design and Implementation of a Three-Step Intensional Query Processing Scheme

Design and Implementation of a Three-Step Intensional Query Processing Scheme

Il-Yeol Song (Drexel University, USA) and Hyoung-Joo Kim (Seoul National University, South Korea)
Copyright: © 1991 |Pages: 14
DOI: 10.4018/jdm.1991040103
OnDemand PDF Download:
$30.00
List Price: $37.50

Abstract

When processing a query in a conventional database, a set of facts (extensional answers) are usually returned for an answer set. This can be different in a deductive or expert database system. Users may, as before, be interested in a set of facts to answer their query, but in certain queries users are also able to get the answer of a query as a set of formulas (intensional answers). These “intensional answers” can greatly reduce the costs of processing a query, can be represented in a more compact way than a large set of facts, and are moreover independent of the current state of the database. In this paper, we introduce an intensional query processing technique composed of three steps and its implementation in Prolog. The three steps are pre-resolution, resolution, and post-resolution. In pre-resolution step, deductive rules are transformed into certain forms. In resolution step, SLDresolution is applied until the last resolvents consist of either extensional literals or comparison literals. In post-resolution step, intensional answers are generated and checked against integrity constraints to remove meaningless answers. Our work is an extension to Cholvy and Demolombe (1986), and Pascual and Cholvy (1988).

Complete Article List

Search this Journal:
Reset
Open Access Articles
Volume 28: 4 Issues (2017)
Volume 27: 4 Issues (2016)
Volume 26: 4 Issues (2015)
Volume 25: 4 Issues (2014)
Volume 24: 4 Issues (2013)
Volume 23: 4 Issues (2012)
Volume 22: 4 Issues (2011)
Volume 21: 4 Issues (2010)
Volume 20: 4 Issues (2009)
Volume 19: 4 Issues (2008)
Volume 18: 4 Issues (2007)
Volume 17: 4 Issues (2006)
Volume 16: 4 Issues (2005)
Volume 15: 4 Issues (2004)
Volume 14: 4 Issues (2003)
Volume 13: 4 Issues (2002)
Volume 12: 4 Issues (2001)
Volume 11: 4 Issues (2000)
Volume 10: 4 Issues (1999)
Volume 9: 4 Issues (1998)
Volume 8: 4 Issues (1997)
Volume 7: 4 Issues (1996)
Volume 6: 4 Issues (1995)
Volume 5: 4 Issues (1994)
Volume 4: 4 Issues (1993)
Volume 3: 4 Issues (1992)
Volume 2: 4 Issues (1991)
Volume 1: 2 Issues (1990)
View Complete Journal Contents Listing