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!
cited_by cdi_FETCH-LOGICAL-c1617-4c74dedf302b33b573a682e572ea37659b68cfd537e97acc1efabbc2f46970ed3
cites
container_end_page 94
container_issue 1
container_start_page 61
container_title Theory and practice of logic programming
container_volume 3
creator ARNI, FAIZ
ONG, KAYLIANG
TSUR, SHALOM
WANG, HAIXUN
ZANIOLO, CARLO
description 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.
doi_str_mv 10.1017/S1471068402001515
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_201697997</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cupid>10_1017_S1471068402001515</cupid><sourcerecordid>1403134531</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1617-4c74dedf302b33b573a682e572ea37659b68cfd537e97acc1efabbc2f46970ed3</originalsourceid><addsrcrecordid>eNp1UE1Lw0AQXUTBWv0B3oL36M5-JkepWoWCB-upSNjdzGqKMXU3Efrv3ZqCB_E0b2beezM8Qs6BXgIFffUEQgNVhaCMUpAgD8gkjWTOaQGHPxjy3f6YnMS4ThzFmZgQvnzDrMZ6cH3zlZDpjTURs7iNPbbZahFdyF5WN2MZu1Ny5M17xLN9nZLnu9vl7D5fPM4fZteL3IECnQunRXL2nDLLuZWaG1UwlJqh4VrJ0qrC-VpyjaU2zgF6Y61jXqhSU6z5lFyMvpvQfQ4Y-2rdDeEjnaxY-r_UZakTCUaSC12MAX21CU1rwrYCWu2iqf5EkzR8rzGtDU39ir_O_6u-AXCjY9Y</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>201697997</pqid></control><display><type>article</type><title>The deductive database system [Lscr ][Dscr ][Lscr ]</title><source>Cambridge University Press</source><creator>ARNI, FAIZ ; ONG, KAYLIANG ; TSUR, SHALOM ; WANG, HAIXUN ; ZANIOLO, CARLO</creator><creatorcontrib>ARNI, FAIZ ; ONG, KAYLIANG ; TSUR, SHALOM ; WANG, HAIXUN ; ZANIOLO, CARLO</creatorcontrib><description>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.</description><identifier>ISSN: 1471-0684</identifier><identifier>EISSN: 1475-3081</identifier><identifier>DOI: 10.1017/S1471068402001515</identifier><language>eng</language><publisher>Cambridge, UK: Cambridge University Press</publisher><ispartof>Theory and practice of logic programming, 2003-01, Vol.3 (1), p.61-94</ispartof><rights>2003 Cambridge University Press</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c1617-4c74dedf302b33b573a682e572ea37659b68cfd537e97acc1efabbc2f46970ed3</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.cambridge.org/core/product/identifier/S1471068402001515/type/journal_article$$EHTML$$P50$$Gcambridge$$H</linktohtml><link.rule.ids>314,776,780,27901,27902,72703</link.rule.ids></links><search><creatorcontrib>ARNI, FAIZ</creatorcontrib><creatorcontrib>ONG, KAYLIANG</creatorcontrib><creatorcontrib>TSUR, SHALOM</creatorcontrib><creatorcontrib>WANG, HAIXUN</creatorcontrib><creatorcontrib>ZANIOLO, CARLO</creatorcontrib><title>The deductive database system [Lscr ][Dscr ][Lscr ]</title><title>Theory and practice of logic programming</title><addtitle>Theory and Practice of Logic Programming</addtitle><description>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.</description><issn>1471-0684</issn><issn>1475-3081</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2003</creationdate><recordtype>article</recordtype><recordid>eNp1UE1Lw0AQXUTBWv0B3oL36M5-JkepWoWCB-upSNjdzGqKMXU3Efrv3ZqCB_E0b2beezM8Qs6BXgIFffUEQgNVhaCMUpAgD8gkjWTOaQGHPxjy3f6YnMS4ThzFmZgQvnzDrMZ6cH3zlZDpjTURs7iNPbbZahFdyF5WN2MZu1Ny5M17xLN9nZLnu9vl7D5fPM4fZteL3IECnQunRXL2nDLLuZWaG1UwlJqh4VrJ0qrC-VpyjaU2zgF6Y61jXqhSU6z5lFyMvpvQfQ4Y-2rdDeEjnaxY-r_UZakTCUaSC12MAX21CU1rwrYCWu2iqf5EkzR8rzGtDU39ir_O_6u-AXCjY9Y</recordid><startdate>200301</startdate><enddate>200301</enddate><creator>ARNI, FAIZ</creator><creator>ONG, KAYLIANG</creator><creator>TSUR, SHALOM</creator><creator>WANG, HAIXUN</creator><creator>ZANIOLO, CARLO</creator><general>Cambridge University Press</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7XB</scope><scope>8AL</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>Q9U</scope></search><sort><creationdate>200301</creationdate><title>The deductive database system [Lscr ][Dscr ][Lscr ]</title><author>ARNI, FAIZ ; ONG, KAYLIANG ; TSUR, SHALOM ; WANG, HAIXUN ; ZANIOLO, CARLO</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1617-4c74dedf302b33b573a682e572ea37659b68cfd537e97acc1efabbc2f46970ed3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2003</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>ARNI, FAIZ</creatorcontrib><creatorcontrib>ONG, KAYLIANG</creatorcontrib><creatorcontrib>TSUR, SHALOM</creatorcontrib><creatorcontrib>WANG, HAIXUN</creatorcontrib><creatorcontrib>ZANIOLO, CARLO</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>AUTh Library subscriptions: ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>ProQuest advanced technologies &amp; aerospace journals</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>ProQuest Central Basic</collection><jtitle>Theory and practice of logic programming</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>ARNI, FAIZ</au><au>ONG, KAYLIANG</au><au>TSUR, SHALOM</au><au>WANG, HAIXUN</au><au>ZANIOLO, CARLO</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>The deductive database system [Lscr ][Dscr ][Lscr ]</atitle><jtitle>Theory and practice of logic programming</jtitle><addtitle>Theory and Practice of Logic Programming</addtitle><date>2003-01</date><risdate>2003</risdate><volume>3</volume><issue>1</issue><spage>61</spage><epage>94</epage><pages>61-94</pages><issn>1471-0684</issn><eissn>1475-3081</eissn><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.</abstract><cop>Cambridge, UK</cop><pub>Cambridge University Press</pub><doi>10.1017/S1471068402001515</doi><tpages>34</tpages></addata></record>
fulltext fulltext
identifier ISSN: 1471-0684
ispartof Theory and practice of logic programming, 2003-01, Vol.3 (1), p.61-94
issn 1471-0684
1475-3081
language eng
recordid cdi_proquest_journals_201697997
source Cambridge University Press
title The deductive database system [Lscr ][Dscr ][Lscr ]
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-07T14%3A18%3A18IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=The%20deductive%20database%20system%20%5BLscr%20%5D%5BDscr%20%5D%5BLscr%20%5D&rft.jtitle=Theory%20and%20practice%20of%20logic%20programming&rft.au=ARNI,%20FAIZ&rft.date=2003-01&rft.volume=3&rft.issue=1&rft.spage=61&rft.epage=94&rft.pages=61-94&rft.issn=1471-0684&rft.eissn=1475-3081&rft_id=info:doi/10.1017/S1471068402001515&rft_dat=%3Cproquest_cross%3E1403134531%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c1617-4c74dedf302b33b573a682e572ea37659b68cfd537e97acc1efabbc2f46970ed3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=201697997&rft_id=info:pmid/&rft_cupid=10_1017_S1471068402001515&rfr_iscdi=true