Experimenting with recursive queries in database and logic programming systems
This article considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: (i) the quantity of data that can be handled contemporarily is limited, because reasoning is generally carried out in main-memory; (ii) the interact...
Gespeichert in:
| Veröffentlicht in: | Theory and practice of logic programming Jg. 8; H. 2; S. 129 - 165 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, UK
Cambridge University Press
01.03.2008
|
| Schlagworte: | |
| ISSN: | 1471-0684, 1475-3081 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | This article considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: (i) the quantity of data that can be handled contemporarily is limited, because reasoning is generally carried out in main-memory; (ii) the interaction with external (and independent) Database Management Systems is not trivial and, in several cases, not allowed at all; and (iii) the efficiency of present implementations is still not sufficient for their utilization in complex reasoning tasks involving massive amounts of data. This article provides a contribution in this setting; it presents a new system, called DLVDB, which aims to solve these problems. Moreover, it reports the results of a thorough experimental analysis we have carried out for comparing our system with several state-of-the-art systems (both logic and databases) on some classical deductive problems; the other tested systems are LDL++, XSB, Smodels, and three top-level commercial Database Management Systems. DLVDB significantly outperforms even the commercial database systems on recursive queries. |
|---|---|
| AbstractList | This article considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: (i) the quantity of data that can be handled contemporarily is limited, because reasoning is generally carried out in main-memory; (ii) the interaction with external (and independent) Database Management Systems is not trivial and, in several cases, not allowed at all; and (iii) the efficiency of present implementations is still not sufficient for their utilization in complex reasoning tasks involving massive amounts of data. This article provides a contribution in this setting; it presents a new system, called DLV
DB
, which aims to solve these problems. Moreover, it reports the results of a thorough experimental analysis we have carried out for comparing our system with several state-of-the-art systems (both logic and databases) on some classical deductive problems; the other tested systems are LDL++, XSB, Smodels, and three top-level commercial Database Management Systems. DLV
DB
significantly outperforms even the commercial database systems on recursive queries. This article considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: (i) the quantity of data that can be handled contemporarily is limited, because reasoning is generally carried out in main-memory; (ii) the interaction with external (and independent) Database Management Systems is not trivial and, in several cases, not allowed at all; and (iii) the efficiency of present implementations is still not sufficient for their utilization in complex reasoning tasks involving massive amounts of data. This article provides a contribution in this setting; it presents a new system, called DLVDB, which aims to solve these problems. Moreover, it reports the results of a thorough experimental analysis we have carried out for comparing our system with several state-of-the-art systems (both logic and databases) on some classical deductive problems; the other tested systems are LDL++, XSB, Smodels, and three top-level commercial Database Management Systems. DLVDB significantly outperforms even the commercial database systems on recursive queries. Abstract This article considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: (i) the quantity of data that can be handled contemporarily is limited, because reasoning is generally carried out in main-memory; (ii) the interaction with external (and independent) Database Management Systems is not trivial and, in several cases, not allowed at all; and (iii) the efficiency of present implementations is still not sufficient for their utilization in complex reasoning tasks involving massive amounts of data. This article provides a contribution in this setting; it presents a new system, called DLVDB , which aims to solve these problems. Moreover, it reports the results of a thorough experimental analysis we have carried out for comparing our system with several state-of-the-art systems (both logic and databases) on some classical deductive problems; the other tested systems are LDL++, XSB, Smodels, and three top-level commercial Database Management Systems. DLVDB significantly outperforms even the commercial database systems on recursive queries. [PUBLICATION ABSTRACT] |
| Author | LEONE, N. TERRACINA, G. PANETTA, C. LIO, V. |
| Author_xml | – sequence: 1 givenname: G. surname: TERRACINA fullname: TERRACINA, G. email: terracina@mat.unical.it organization: Dipartimento di Matematica, Università della Calabria, Via P. Bucci, 87030, Rende (CS), Italy (e-mail: terracina@mat.unical.it, leone@mat.unical.it, lio@mat.unical.it, panetta@mat.unical.it) – sequence: 2 givenname: N. surname: LEONE fullname: LEONE, N. email: terracina@mat.unical.it organization: Dipartimento di Matematica, Università della Calabria, Via P. Bucci, 87030, Rende (CS), Italy (e-mail: terracina@mat.unical.it, leone@mat.unical.it, lio@mat.unical.it, panetta@mat.unical.it) – sequence: 3 givenname: V. surname: LIO fullname: LIO, V. email: terracina@mat.unical.it organization: Dipartimento di Matematica, Università della Calabria, Via P. Bucci, 87030, Rende (CS), Italy (e-mail: terracina@mat.unical.it, leone@mat.unical.it, lio@mat.unical.it, panetta@mat.unical.it) – sequence: 4 givenname: C. surname: PANETTA fullname: PANETTA, C. email: terracina@mat.unical.it organization: Dipartimento di Matematica, Università della Calabria, Via P. Bucci, 87030, Rende (CS), Italy (e-mail: terracina@mat.unical.it, leone@mat.unical.it, lio@mat.unical.it, panetta@mat.unical.it) |
| BookMark | eNp9kMtOwzAQRS0EEm3hA9hFLNgF_EqcLFFVHlIFC2AdufYkuEqcYrtA_x6HVkIqgtWMZu4Z3bljdGh7CwidEXxJMBFXT4QLgvOCY4ExI1lxgEZxlKUMF-TwuyfpsD9GY--XGJOcUT5CD7PPFTjTgQ3GNsmHCa-JA7V23rxD8raOO_CJsYmWQS6kh0RanbR9Y1Sycn3jZNcNoN_4AJ0_QUe1bD2c7uoEvdzMnqd36fzx9n56PU8V4yKkNc0UU1IoomlZQ0lLlYGikIlSl1pxQUHwDFPAGeME4lc5k6rUmGOsFlqzCbrY3o0eokkfqs54BW0rLfRrXzGWs6wocBSe7wmX_drZ6K2iMYNS5HQQia1Iud57B3WlTJDB9DY4adqK4GoIufoVciTJHrmKYUq3-ZdhO0Z2C2d0Az-e_qa-AHjKj3I |
| CitedBy_id | crossref_primary_10_1109_TRO_2015_2422531 crossref_primary_10_1109_TFUZZ_2020_2973129 crossref_primary_10_1016_j_ic_2019_104485 crossref_primary_10_1145_1877714_1877717 crossref_primary_10_3390_robotics5040021 crossref_primary_10_1016_j_artint_2020_103402 crossref_primary_10_1017_S1471068411000640 |
| Cites_doi | 10.1109/69.542029 10.1007/978-3-642-83952-8 10.1017/S1471068402001515 10.1007/s10817-006-9033-2 10.1007/BF01530761 10.1016/j.artint.2004.04.004 10.1145/356924.356929 10.1007/BF03037169 10.1145/1149114.1149117 10.1016/B978-0-934613-40-8.50009-9 10.1016/0743-1066(87)90004-5 10.1007/BF02136172 10.1016/0743-1066(91)90038-Q 10.1016/B978-0-934613-40-8.50006-3 10.1109/TKDE.2003.1185840 10.1007/978-3-540-30227-8_19 10.1145/1065167.1065214 10.1007/3-540-63255-7_32 10.1145/131295.131297 10.1016/B978-0-934613-40-8.50016-6 10.1007/3-540-46767-X_13 10.1145/1147376.1147393 10.1145/227604.227624 |
| ContentType | Journal Article |
| Copyright | Copyright © Cambridge University Press 2007 Cambridge University Press |
| Copyright_xml | – notice: Copyright © Cambridge University Press 2007 – notice: Cambridge University Press |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8FD 8FE 8FG 8FK ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L7M L~C L~D M0N P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS Q9U |
| DOI | 10.1017/S1471068407003158 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology Collection ProQuest One Community College ProQuest Central Korea ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest Central Basic |
| DatabaseTitle | CrossRef Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace Advanced Technologies & Aerospace Collection ProQuest Computing ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) |
| DatabaseTitleList | CrossRef Computer Science Database Computer and Information Systems Abstracts |
| Database_xml | – sequence: 1 dbid: BENPR name: AUTh Library subscriptions: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1475-3081 |
| EndPage | 165 |
| ExternalDocumentID | 1497338321 10_1017_S1471068407003158 |
| Genre | Feature |
| GroupedDBID | -E. .FH 09C 09E 0E1 0R~ 123 29Q 3V. 4.4 5VS 74X 74Y 7~V 8FE 8FG 8R4 8R5 AAAZR AABES AABWE AACJH AAEED AAFUK AAGFV AAKTX AANRG AARAB AASVR AAUKB AAYOK ABBXD ABITZ ABJNI ABKKG ABMWE ABMYL ABQTM ABQWD ABROB ABTCQ ABUWG ABZCX ACBMC ACCHT ACGFS ACIMK ACNCT ACQFJ ACREK ACUIJ ACUYZ ACWGA ACYZP ACZBM ACZUX ACZWT ADCGK ADDNB ADFEC ADGEJ ADKIL ADOCW ADOVH ADVJH AEBAK AEHGV AEMTW AENEX AENGE AEYYC AFFUJ AFKQG AFKRA AFKSM AFLOS AFLVW AFUTZ AGABE AGBYD AGJUD AGOOT AHQXX AHRGI AIGNW AIHIV AIOIP AISIE AJ7 AJCYY AJPFC AJQAS ALMA_UNASSIGNED_HOLDINGS ALVPG ALWZO AQJOH ARABE ARAPS ATUCA AUXHV AZQEC BBLKV BENPR BGHMG BGLVJ BLZWO BMAJL BPHCQ C0O CAG CBIIA CCPQU CCQAD CCTKK CFAFE CHEAL CJCSC COF CS3 DC4 DOHLZ DU5 DWQXO EBS EJD GNUQQ HCIFZ HG- HST HZ~ I.6 IH6 IOEEP IPYYG IS6 I~P J36 J38 J3A J9A JHPGK JQKCU K6V K7- KCGVB KFECR L98 LW7 M-V M0N NIKVX O9- OK1 OYBOY P2P P62 PQQKQ PROAC PYCCK Q2X RAMDC RCA ROL RR0 S6- S6U SAAAG T9M UT1 WFFJZ WQ3 WXU WXY WYP ZYDXJ AAYXX ABGDZ ABVKB ABVZP ABXHF ACAJB ACDLN AFFHD AFZFC AKMAY CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U PUEGO |
| ID | FETCH-LOGICAL-c347t-f25c3ca7c1d29fe929c5ec2e579d9dc472e74502e05341e84063ac9d0400cbdd3 |
| IEDL.DBID | P5Z |
| ISICitedReferencesCount | 40 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000254430200001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1471-0684 |
| IngestDate | Thu Oct 02 05:50:10 EDT 2025 Fri Jul 25 07:41:42 EDT 2025 Tue Nov 18 21:23:39 EST 2025 Sat Nov 29 04:58:33 EST 2025 Wed Mar 13 06:05:11 EDT 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 2 |
| Keywords | benchmarks Answer Set Programming/Declarative Logic Programming Deductive Database Systems recursive queries |
| Language | English |
| License | https://www.cambridge.org/core/terms |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c347t-f25c3ca7c1d29fe929c5ec2e579d9dc472e74502e05341e84063ac9d0400cbdd3 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-2 content type line 23 |
| PQID | 201697620 |
| PQPubID | 43613 |
| PageCount | 37 |
| ParticipantIDs | proquest_miscellaneous_33635880 proquest_journals_201697620 crossref_citationtrail_10_1017_S1471068407003158 crossref_primary_10_1017_S1471068407003158 cambridge_journals_10_1017_S1471068407003158 |
| PublicationCentury | 2000 |
| PublicationDate | 20080300 2008-03-00 20080301 |
| PublicationDateYYYYMMDD | 2008-03-01 |
| PublicationDate_xml | – month: 03 year: 2008 text: 20080300 |
| PublicationDecade | 2000 |
| PublicationPlace | Cambridge, UK |
| PublicationPlace_xml | – name: Cambridge, UK – name: Cambridge |
| PublicationTitle | Theory and practice of logic programming |
| PublicationTitleAlternate | Theory and Practice of Logic Programming |
| PublicationYear | 2008 |
| Publisher | Cambridge University Press |
| Publisher_xml | – name: Cambridge University Press |
| References | Lin (S1471068407003158_ref30) 2002 S1471068407003158_ref27 Rao (S1471068407003158_ref38) 1997 S1471068407003158_ref26 Ullman (S1471068407003158_ref40) 1989 S1471068407003158_ref24 S1471068407003158_ref23 Dell'Armi (S1471068407003158_ref13) 2003 S1471068407003158_ref20 S1471068407003158_ref41 Giunchiglia (S1471068407003158_ref25) 2004 Gebser (S1471068407003158_ref22) 2007 Faber (S1471068407003158_ref17) 2001 Baral (S1471068407003158_ref8) 2002 Zaniolo (S1471068407003158_ref42) 1997 Leone (S1471068407003158_ref29) 2006 S1471068407003158_ref19 S1471068407003158_ref18 S1471068407003158_ref16 S1471068407003158_ref37 S1471068407003158_ref15 Bancilhon (S1471068407003158_ref6) 1986 S1471068407003158_ref36 S1471068407003158_ref14 S1471068407003158_ref35 S1471068407003158_ref34 S1471068407003158_ref9 S1471068407003158_ref12 S1471068407003158_ref33 S1471068407003158_ref11 S1471068407003158_ref10 S1471068407003158_ref7 S1471068407003158_ref31 Knuth (S1471068407003158_ref28) 1994 Ross (S1471068407003158_ref39) 1990 S1471068407003158_ref1 S1471068407003158_ref5 S1471068407003158_ref4 S1471068407003158_ref3 Loo (S1471068407003158_ref32) 2005 S1471068407003158_ref2 Garcia-Molina (S1471068407003158_ref21) 2000 |
| References_xml | – start-page: 1 volume-title: Proc. of the ACM Symposium on Principles of Database Systems (PODS'86) year: 1986 ident: S1471068407003158_ref6 – ident: S1471068407003158_ref19 – start-page: 289 volume-title: Proceedings of the ACM SIGCOMM 2005 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications year: 2005 ident: S1471068407003158_ref32 – ident: S1471068407003158_ref33 doi: 10.1109/69.542029 – volume-title: Principles of Database and Knowledge Base Systems year: 1989 ident: S1471068407003158_ref40 – ident: S1471068407003158_ref12 doi: 10.1007/978-3-642-83952-8 – ident: S1471068407003158_ref4 doi: 10.1017/S1471068402001515 – ident: S1471068407003158_ref24 doi: 10.1007/s10817-006-9033-2 – volume-title: Database System Implementation year: 2000 ident: S1471068407003158_ref21 – ident: S1471068407003158_ref10 doi: 10.1007/BF01530761 – ident: S1471068407003158_ref31 doi: 10.1016/j.artint.2004.04.004 – ident: S1471068407003158_ref1 – ident: S1471068407003158_ref20 doi: 10.1145/356924.356929 – ident: S1471068407003158_ref23 doi: 10.1007/BF03037169 – volume-title: Knowledge Representation, Reasoning and Declarative Problem Solving year: 2002 ident: S1471068407003158_ref8 – volume-title: The DLV System for Knowledge Representation and Reasoning year: 2006 ident: S1471068407003158_ref29 doi: 10.1145/1149114.1149117 – ident: S1471068407003158_ref14 – start-page: 161 volume-title: Proc. of the ACM Symposium on Principles of Database Systems year: 1990 ident: S1471068407003158_ref39 – ident: S1471068407003158_ref37 doi: 10.1016/B978-0-934613-40-8.50009-9 – ident: S1471068407003158_ref5 doi: 10.1016/0743-1066(87)90004-5 – ident: S1471068407003158_ref11 doi: 10.1007/BF02136172 – start-page: 386 volume-title: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI) year: 2007 ident: S1471068407003158_ref22 – ident: S1471068407003158_ref9 doi: 10.1016/0743-1066(91)90038-Q – ident: S1471068407003158_ref3 doi: 10.1016/B978-0-934613-40-8.50006-3 – volume-title: The Stanford GraphBase: A Platform for Combinatorial Computing year: 1994 ident: S1471068407003158_ref28 – start-page: 847 volume-title: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003 year: 2003 ident: S1471068407003158_ref13 – start-page: 61 volume-title: American Association for Artificial Intelligence year: 2004 ident: S1471068407003158_ref25 – start-page: 635 volume-title: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI) 2001 year: 2001 ident: S1471068407003158_ref17 – ident: S1471068407003158_ref27 doi: 10.1109/TKDE.2003.1185840 – ident: S1471068407003158_ref18 doi: 10.1007/978-3-540-30227-8_19 – ident: S1471068407003158_ref2 doi: 10.1145/1065167.1065214 – ident: S1471068407003158_ref35 doi: 10.1007/3-540-63255-7_32 – ident: S1471068407003158_ref36 – ident: S1471068407003158_ref26 doi: 10.1145/131295.131297 – volume-title: Advanced Database Systems year: 1997 ident: S1471068407003158_ref42 – start-page: 112 volume-title: American Association for Artificial Intelligence year: 2002 ident: S1471068407003158_ref30 – ident: S1471068407003158_ref7 doi: 10.1016/B978-0-934613-40-8.50016-6 – ident: S1471068407003158_ref16 doi: 10.1007/3-540-46767-X_13 – ident: S1471068407003158_ref41 doi: 10.1145/1147376.1147393 – ident: S1471068407003158_ref34 doi: 10.1145/227604.227624 – ident: S1471068407003158_ref15 – start-page: 430 volume-title: Proc. of 4th International Conference on Logic Programming and Non Monotonic Reasoning (LPNMR'97) year: 1997 ident: S1471068407003158_ref38 |
| SSID | ssj0016324 |
| Score | 2.045596 |
| Snippet | This article considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: (i) the... Abstract This article considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some... |
| SourceID | proquest crossref cambridge |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 129 |
| SubjectTerms | Regular Papers |
| Title | Experimenting with recursive queries in database and logic programming systems |
| URI | https://www.cambridge.org/core/product/identifier/S1471068407003158/type/journal_article https://www.proquest.com/docview/201697620 https://www.proquest.com/docview/33635880 |
| Volume | 8 |
| WOSCitedRecordID | wos000254430200001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1475-3081 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: P5Z dateStart: 20010101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: AUTh Library subscriptions: ProQuest Central customDbUrl: eissn: 1475-3081 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: BENPR dateStart: 20010101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1475-3081 dateEnd: 20241211 omitProxy: false ssIdentifier: ssj0016324 issn: 1471-0684 databaseCode: K7- dateStart: 20010101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwED_c5oMvzk-c05kHn8RCl34keRKVDUEpQxSGL6VNMhhoN9fNv99cm1aHsBdf0x4NucvdJffr7wAujY2wxERip6-YOaBoVzhCUOWkaciY7Kd8khaafmJRxMdjMbLYnNzCKiufWDhqNZN4R24O6f3QhE7q3sw_HWwahcVV20GjAS0kScDODaPgrS4iIBN58XMRQ3AP96uiJjJG4yCOGYvHPgf8N7XCeoha99BF2Bm2_znhPdi1-Sa5LQ1kH7Z0dgDtqpcDsVv7EKJBTfVvghnB61mywLt4hLcT8108UpNpRhBSiqGPJJkiheMkFuP1gYIlM3R-BK_Dwcv9g2N7LTjS89nSmdBAejIx6lFUTLRJmmSgJdUBE0oo6TOqmR-4FDtJ-H1tFi70EikU-gCZKuUdQzObZfoECOcmqUn8EJl0fC_0E0F56gmXa8qloEEHruulju2OyeMSbcbiP5rpgFtpI5aWtxzbZ7xvErmqReYlaceml7uV_n5mUyuvAxf1U7PxsJqSZHq2ymPPM7ma8X6nG-W7sFMiTBC1dgbN5WKlz2Fbfi2n-aIHrbtBNHruQeOROb3Cer8BRqbvhA |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9wwEB4BrQSXbltAbJcWH-gFESlrO7F9QFVFQaBdVhxA4hYS2yshQRY2C6g_qv-RmbwoQtobB65OJrIzT3s-zwBso4yoFD1x0HcKNyg-NIEx3AVZFitl-5keZyWnh2o00hcX5nQB_jV3YQhW2djE0lC7iaUzctyk92N0nTz8dXsXUNMoSq42HTQqqRj4v4-4Yyv2jv8ge39yfnhwtn8U1E0FAiukmgVjHllhU5yH42bsMTqwkbfcR8o446xU3CsZhZxaJsi-x_1PLFJrHAm7zZwT-N1F-CCFVqRWAxW0SQuqfF5eZlIEJtKySaJShWoapDHUMOqroP8v5fDSJb70CKWbO-y8sx_0GT7V8TT7XSnAF1jw-VfoNL0qWG26VmF00LYyQGfN6PiZTSnXQPB9huukIwN2lTOCzJJrZ2nuWOkYWI1huyHCqvJ1sQbnb7KqdVjKJ7nfAKY1Bm2pjKlSkBSxTA3XmTCh9lxbw6Mu7LasTWqLUCQVmk4lryShC2HD_cTWddmpPcj1PJKdluS2Kkoy7-VeIy_Ps2mFpQtb7VM0LJQtSnM_uS8SITAWRev-bS79FiwfnZ0Mk-HxaNCDlQpNQwi9TViaTe_9d_hoH2ZXxfRHqSsMLt9a9p4AEDBJ_w |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Experimenting+with+recursive+queries+in+database+and+logic+programming+systems&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=TERRACINA%2C+G.&rft.au=LEONE%2C+N.&rft.au=LIO%2C+V.&rft.au=PANETTA%2C+C.&rft.date=2008-03-01&rft.pub=Cambridge+University+Press&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=8&rft.issue=2&rft.spage=129&rft.epage=165&rft_id=info:doi/10.1017%2FS1471068407003158&rft.externalDocID=10_1017_S1471068407003158 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon |