MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The CORAL Deductive System" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

The CORAL Deductive System
by Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri — 1994 — The VLDB Journal
…; revised version accepted, December, 1993. Abstract. CORAL is a deductive system that supports a rich…
Cited by 21 (2 self) – Add To MetaCart

Implementation of the CORAL Deductive Database System
by Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri — 1993
… Implementation of the CORAL Deductive Database System \Lambda Raghu Ramakrishnan Univ…
Cited by 40 (6 self) – Add To MetaCart

Datalog++: An Object-Oriented Front-End For The Xsb Deductive Database Management System
by Zhixin Tang, Zhixin Tang, Dr. Hasan Jamil — 1999
… method calls to the C++ module, the Coral deductive system has to be compiled with the C++ part…
Add To MetaCart

Bibliography
by Ab Apt Bol, Abw K. R. Apt, H. A. Blair, Ahv S. Abiteboul, R. Hull, V. Vianu, Foundations Databases Addisonwesley, Logic Programming, Semantics In J. Dix, L. M. Pereira, T. C. Przymusinski (eds, Bdp S. Brass, J. Dix, T. C. Przymusinski Characterizations — 1996
…94] R. Ramakrishnan, D. Srivastava, S. Sudarshan, P. Seshadri: The CORAL deductive system. The VLDB…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB