Deductive database - PDFSEARCH.IO - Document Search Engine

Deductive database
Results: 22

#	Item
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 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language
2	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-03-29 03:01:53 Computing Software engineering Data management Database management systems Query languages Datalog Binary decision diagram Monica S. Lam Deductive database Relational algebra Logic programming Database
3	A Study on Development of a Deductive Object-Oriented Database and Its Application to Genome Analysis Susumu GOTO Add to Reading List Source URL: goto.kuicr.kyoto-u.ac.jp Language: 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 Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-14 20:29:16 Mathematical logic Programming idioms Logic programming Prolog Deductive database Clause Stratification Horn clause Recursion Computer programming Software engineering Computing
5	Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-14 20:29:16 Programming paradigms Query languages Deduction Database Relational model Entailment Modal logic SQL Knowledge representation and reasoning Logic Database management systems Philosophical logic
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) (∗∗) Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-09-01 02:44:36 Database management systems Prolog Query languages Deductive database Logic programming Database SQL Predicate Persistence Computing Software engineering Computer programming
7	Deliverable D5.2: Query containment evaluation and optimization of WSMO/L discovery engine Date: Add to Reading List Source URL: www.envision-project.eu Language: English - Date: 2011-06-01 01:20:10 Semantic Web Information Conjunctive query Database theory Datalog Database management systems Computer languages Deductive database Query Data management Computing Query languages
8	Semantics and Expressive Power of Non-Deterministic Constructs in Deductive Databases Fosca Giannotti1 , Dino Pedreschi2 and Carlo Zaniolo3 1 Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2001-06-29 02:31:43 Complexity classes Data management Software engineering Datalog Database management systems Relational model Expressive power FO SQL Computing Query languages Computer languages
9	Efficiently Executing Information Gathering Plans Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:17:48 Computing Database management systems Programming paradigms Software engineering Deductive database Function Algorithm Predicate Logic programming Mathematics Query languages Datalog