Hostname: page-component-78c5997874-m6dg7 Total loading time: 0 Render date: 2024-11-03T00:47:05.691Z Has data issue: false hasContentIssue false
  • English
  • Français

The deductive database system [Lscr ][Dscr ][Lscr ]++

Published online by Cambridge University Press:  18 December 2002

FAIZ ARNI ,
KAYLIANG ONG ,
SHALOM TSUR ,
HAIXUN WANG  and
CARLO ZANIOLO
FAIZ ARNI
Affiliation:
InferData Corporation, 8200 N. MoPac Expressway, Austin, TX 78759, USA (e-mail: [email protected])
KAYLIANG ONG
Affiliation:
Trilogy Inc., 5001 Plaza on the Lake, Austin, TX 78746, USA (e-mail: [email protected])
SHALOM TSUR
Affiliation:
BEA Systems, 2315 N. First Street, San Jose, CA 95131, USA (e-mail: [email protected])
HAIXUN WANG
Affiliation:
IBM T. J. Watson Research Center, 30 Saw Mill River Rd., Hawthorne, NY 10532, USA (e-mail: [email protected])
CARLO ZANIOLO
Affiliation:
Computer Science Department, University of California, Los Angeles, CA 90095, USA (e-mail: [email protected])
Get access Rights & Permissions [Opens in a new window]

Abstract

This paper describes the [Lscr ][Dscr ][Lscr ]++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the [Lscr ][Dscr ][Lscr ]++ language, while preserving its model-theoretic and fixpoint semantics. Then, we describe the execution model and the open architecture designed to support these new constructs and to facilitate the integration with existing DBMSs and applications. Finally, we describe the lessons learned by using [Lscr ][Dscr ][Lscr ]++ on various tested applications, such as middleware and datamining.

Keywords

deductive databaseslogic and databasesDatalognonmonotonic reasoningmonotonic aggregates
Type
Research Article
Information
Theory and Practice of Logic Programming , Volume 3 , Issue 1 , January 2003 , pp. 61 - 94
Copyright
© 2003 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)