article

Free access

The CORAL deductive database system

Authors:

S. SudarshanAuthors Info & Claims

ACM SIGMOD Record, Volume 22, Issue 2

Pages 544 - 545

https://doi.org/10.1145/170036.171550

Published: 01 June 1993 Publication History

PDF eReader

Abstract

No abstract available.

References

[1]

T. Arora, R. Ramakrishnan, W. G. Roth, P. Sesha#lri, and D. Srivsstava. Explaining program evaluation in deductive systems. Submitted, 1993.

Google Scholar

[2]

M. Caxey, D. DeWitt, G. Graefe, D. HaJght, J. Richaxdson, D. Schuh, E. Shekita, and S. Vandenberg. The EX- ODUS extensible DBMS project: An overview. In Readings in Object.Oriented Databases. Morgan-Kanfman, 1990.

Digital Library

Google Scholar

[3]

Logical Information Machines. The XMIM Re!erence Guide, 2.1.1 edition, July 1992.

Google Scholar

[4]

R. Ramskrishnan, D. Srivsstava, and S. Sudarshan. CORAL: Control, Relations and Logic. In Proceedings of the International Conference on Very Large Databases, 1992.

Digital Library

Google Scholar

[5]

R. Ramskdshnan, D. Srivastava, S. Sudaxshaa, and P. Seshadri. Implementation of the CORAL deductive database system. In Proceedings of the A CM $IGMOD Conference on Manage#nent of Data, 1993.

Digital Library

Google Scholar

Cited By

View all

Liu CMao YOprea MBasu PLoo BRexford Jvan der Merwe KLakshman T(2008)A declarative perspective on adaptive manet routingProceedings of the ACM workshop on Programmable routers for extensible services of tomorrow10.1145/1397718.1397733(63-68)Online publication date: 22-Aug-2008
https://dl.acm.org/doi/10.1145/1397718.1397733
Bertino ECatania BGuerrini GMontesi D(1994)Transaction optimization in rule databasesProceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems10.1109/RIDE.1994.282843(137-145)Online publication date: 1994
https://doi.org/10.1109/RIDE.1994.282843
Shiri NTaghizadeh-Azari A(2005)Lineage tracing in mediator-based information integration systemsProceedings of the 5th international conference on Advanced Distributed Systems10.1007/11533962_24(267-282)Online publication date: 24-Jan-2005
https://dl.acm.org/doi/10.1007/11533962_24
Show More Cited By

Index Terms

The CORAL deductive database system

Recommendations

Implementation of the CORAL deductive database system

CORAL is a deductive database system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming. The data can be persistent on disk or can reside in main-...
The CORAL deductive system
Prototypes of deductive database systems

CORAL is a deductive system that supports a rich declarative language, and an interface to C++, which allows for a combination of declarative and imperative programming. A CORAL declarative program can be organized as a collection of interacting ...
Implementation of the CORAL deductive database system
SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of data

CORAL is a deductive database system that supports a rich declarative language, provides a wide range of evaluation methods, and allows a combination of declarative and imperative programming. The data can be persistent on disk or can reside in main-...

Comments

Information & Contributors

Information

Published In

ACM SIGMOD Record Volume 22, Issue 2

June 1, 1993

558 pages

ISSN:0163-5808

DOI:10.1145/170036

Editors:
Peter Buneman
Univ. of Pennsylvania
,
Sushil Jajodia,
Won Kim
UniSQL, Inc., Austin, TX

Issue’s Table of Contents

SIGMOD '93: Proceedings of the 1993 ACM SIGMOD international conference on Management of data
June 1993
566 pages
ISBN:0897915925
DOI:10.1145/170035
Editors:
Peter Buneman
Univ. of Pennsylvania
,
Sushil Jajodia

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1993

Published in SIGMOD Volume 22, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
254
Total Downloads

Downloads (Last 12 months)29
Downloads (Last 6 weeks)3

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Liu CMao YOprea MBasu PLoo BRexford Jvan der Merwe KLakshman T(2008)A declarative perspective on adaptive manet routingProceedings of the ACM workshop on Programmable routers for extensible services of tomorrow10.1145/1397718.1397733(63-68)Online publication date: 22-Aug-2008
https://dl.acm.org/doi/10.1145/1397718.1397733
Bertino ECatania BGuerrini GMontesi D(1994)Transaction optimization in rule databasesProceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems10.1109/RIDE.1994.282843(137-145)Online publication date: 1994
https://doi.org/10.1109/RIDE.1994.282843
Shiri NTaghizadeh-Azari A(2005)Lineage tracing in mediator-based information integration systemsProceedings of the 5th international conference on Advanced Distributed Systems10.1007/11533962_24(267-282)Online publication date: 24-Jan-2005
https://dl.acm.org/doi/10.1007/11533962_24
Roth AMoshovos ASohi GPapatheodorou TValero MPolychronopoulos CMuraoka YLabarta J(1999)Improving virtual function call target prediction via dependence-based pre-computationProceedings of the 13th international conference on Supercomputing10.1145/305138.305213(356-364)Online publication date: 20-Jun-1999
https://dl.acm.org/doi/10.1145/305138.305213

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Implementation of the CORAL deductive database system

The CORAL deductive system

Implementation of the CORAL deductive database system

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations