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).
|
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 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.
|