A deductive database system is a database system which can make deductions (ie: conclude additional facts) based on rules and facts stored in the...
en.wikipedia.org/wiki/Deductive_database en.wikipedia.org/wiki/Deductive_database
As many other deductive database systems de- signed in the 80s [25], the old LDL system ...... “System Analysis for Deductive Database Environments: an En-
www.dtsur.com/Papers/ldlfinal.pdf
The objective of the CORAL project is to develop a robust and efficient deductive database system, and to investigate its use in various application domains. Several of the algorithms underlying the Coral system have been developed by members of the group during the duration of the project (since 1988).
www.cs.wisc.edu/coral/
The CORAL Deductive System ; Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri, The VLDB Journal, Special Issue on Prototypes of Deductive Database Systems. ; Available here. (775 KB)
www.cs.wisc.edu/coral/coral.papers.html
Deductive Database Systems. Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author · Copyright © Thu Dec 24 16:50:10 2009 by...
www.informatik.uni-trier.de/~ley/db/deductive/ www.informatik.uni-trier.de/~ley/db/deductive/
CiteSeerX - Document Details (Isaac Councill, Lee Giles): The area of deductive databases has matured in recent years, and it now seems appropriate to...
citeseer.ist.psu.edu/ramakrishnan93survey.html
CiteSeerX - Document Details (Isaac Councill, Lee Giles): . Deductive object-oriented databases (DOODs) seek to combine the complementary benefits of the deductive and the object-oriented paradigms in the context of databases. Deductive Object-Oriented Database Systems: A Survey (1997) [6 citations — 2 self]
citeseer.ist.psu.edu/sampaio97deductive.html citeseer.ist.psu.edu/sampaio97deductive.html
Deductive database systems are database management systems whose query expression, it is easy to see deductive database systems as an advanced form of...
www.dcc.uchile.cl/~cgutierr/cursos/FDB/ramakrishnan93su... www.dcc.uchile.cl/~cgutierr/cursos/FDB/ramakrishnan93survey.ps
deductive database system that featured a logic-based query language, Nail. ...... The LOLA system (Freitag et al., 1991) is a deductive database system
portal.acm.org/ft_gateway.cfm?id=615194&type=pdf
XSB
XSB is a Logic Programming and Deductive Database system for Unix and Windows. It is being developed at a number of institutions, including the Computer Science Department of Stony Brook University, Universidade Nova de Lisboa, XSB, Inc, Katholieke Universiteit Leuven, and Uppsala Universitet.
xsb.sourceforge.net/
Related Topics
Related Topics
Definitions