The deductive database system ℒ𝒟ℒ++

  • Authors:

  • Faiz Arni;Kayliang Ong;Shalom Tsur;Haixun Wang;Carlo Zaniolo

  • Affiliations:

  • InferData Corporation, 8200 N. MoPac Expressway, Austin, TX 78759, USA (e-mail: farni@inferdata.com);Trilogy Inc., 5001 Plaza on the Lake, Austin, TX 78746, USA (e-mail: kayliang.ong@trilogy.com);BEA Systems, 2315 N. First Street, San Jose, CA 95131, USA (e-mail: dicktsur@bea.com);IBM T. J. Watson Research Center, 30 Saw Mill River Rd., Hawthorne, NY 10532, USA (e-mail: haixun@us.ibm.com);Computer Science Department, University of California, Los Angeles, CA 90095, USA (e-mail: zaniolo@cs.ucla.edu)

  • Venue:
  • Theory and Practice of Logic Programming
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes the ℒ𝒟ℒ++ 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 ℒ𝒟ℒ++ 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 ℒ𝒟ℒ++ on various tested applications, such as middleware and datamining.