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

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 mode...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming 2003-01, Vol.3 (1), p.61-94
Main Authors: ARNI, FAIZ, ONG, KAYLIANG, TSUR, SHALOM, WANG, HAIXUN, ZANIOLO, CARLO
Format: Article
Language:English
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1471-0684
1475-3081
DOI:10.1017/S1471068402001515