1![Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c](https://www.pdfsearch.io/img/26db99a33eb76939177bc1f317f620c7.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:06:04
|
---|
2![Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots](https://www.pdfsearch.io/img/daf3f66485eb21d81872601fb7f0fd52.jpg) | Add to Reading ListSource URL: suif.stanford.eduLanguage: English - Date: 2005-03-29 03:01:53
|
---|
3![A Study on Development of a Deductive Object-Oriented Database and Its Application to Genome Analysis Susumu GOTO A Study on Development of a Deductive Object-Oriented Database and Its Application to Genome Analysis Susumu GOTO](https://www.pdfsearch.io/img/0f22f1b24c7ec4c76aec61e9074cdc38.jpg) | Add to Reading ListSource URL: goto.kuicr.kyoto-u.ac.jpLanguage: English - Date: 2000-01-22 12:14:31
|
---|
4![Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand](https://www.pdfsearch.io/img/9f6f6dab45e8a3e9fb9875d810ac5db2.jpg) | Add to Reading ListSource URL: www.cs.waikato.ac.nzLanguage: English - Date: 2010-06-14 20:29:16
|
---|
5![Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary](https://www.pdfsearch.io/img/40049d2743c4af6d62badf8aacf91a1e.jpg) | Add to Reading ListSource URL: www.cs.waikato.ac.nzLanguage: English - Date: 2010-06-14 20:29:16
|
---|
6![A Generic Persistence Model for (C)LP Systems J. Correas∗ , J. M. G´omez∗ , M. Carro∗ , D. Cabeza∗ , and M. Hermenegildo∗,∗∗ (∗) School of Computer Science, Technical University of Madrid (UPM) (∗∗) A Generic Persistence Model for (C)LP Systems J. Correas∗ , J. M. G´omez∗ , M. Carro∗ , D. Cabeza∗ , and M. Hermenegildo∗,∗∗ (∗) School of Computer Science, Technical University of Madrid (UPM) (∗∗)](https://www.pdfsearch.io/img/211e93a7aa399b2786f69afba2105c0e.jpg) | Add to Reading ListSource URL: clip.dia.fi.upm.esLanguage: English - Date: 2003-09-01 02:44:36
|
---|
7![Deliverable D5.2: Query containment evaluation and optimization of WSMO/L discovery engine Date: Deliverable D5.2: Query containment evaluation and optimization of WSMO/L discovery engine Date:](https://www.pdfsearch.io/img/b5b216d6f8ec6f23a84ddc548eebd4ad.jpg) | Add to Reading ListSource URL: www.envision-project.euLanguage: English - Date: 2011-06-01 01:20:10
|
---|
8![Semantics and Expressive Power of Non-Deterministic Constructs in Deductive Databases Fosca Giannotti1 , Dino Pedreschi2 and Carlo Zaniolo3 1 Semantics and Expressive Power of Non-Deterministic Constructs in Deductive Databases Fosca Giannotti1 , Dino Pedreschi2 and Carlo Zaniolo3 1](https://www.pdfsearch.io/img/053982c0409f3049be32cdbb1ddf2297.jpg) | Add to Reading ListSource URL: www.cs.ucla.eduLanguage: English - Date: 2001-06-29 02:31:43
|
---|
9![Efficiently Executing Information Gathering Plans Efficiently Executing Information Gathering Plans](https://www.pdfsearch.io/img/e7ff5012bd69280ef4dcf0cd7efcdd56.jpg) | Add to Reading ListSource URL: www.aaai.orgLanguage: English - Date: 2006-01-11 09:17:48
|
---|