Article

Coral++: Adding Object-Orientation to a Logic Database Language

Authors:

Divesh Srivastava,

Raghu Ramakrishnan,

Praveen Seshadri,

S. SudarshanAuthors Info & Claims

VLDB '93: Proceedings of the 19th International Conference on Very Large Data Bases

Pages 158 - 170

Published: 24 August 1993 Publication History

Abstract

No abstract available.

References

[1]

[1] Rakesh Agrawal, Narain H. Gehani: ODE (Object Database and Environment): The Language and the Data Model. SIGMOD Conference 1989: 36-45.

Digital Library

Google Scholar

[2]

[2] N. Arni, K. Ong, S. Tsur, and C. Zaniolo. The LDL++ system: Rationale, technology and applications. (Submitted), 1993.

Google Scholar

[3]

[3] J. A. Blakeley. ZQL[C++]: Integrating the C++ language and an object query capability. In Proceedings of the Workshop on Combining Declarative and Object-Oriented Databases, pages 138-144, Washington, D.C., May 1993.

Google Scholar

[4]

[4] Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236.

Digital Library

Google Scholar

[5]

[5] Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114.

Google Scholar

[6]

[6] Shaul Dar, Narain H. Gehani, H. V. Jagadish: CQL++: A SQL for the Ode Object-Oriented DBMS. EDBT 1992: 201-216.

Digital Library

Google Scholar

[7]

[7] O. Deux: The O2 System. Commun. ACM 34(10): 34-48(1991).

Digital Library

Google Scholar

[8]

[8] L. J. Gallagher. Object SQL: Language extensions for object data management. In Proceedings of the ISMM First International Conference on Information and Knowledge Management, pages 17-26, Baltimore, Maryland, Nov. 1992.

Google Scholar

[9]

[9] Sergio Greco, Nicola Leone, Pasquale Rullo: COMPLEX: An Object-Oriented Logic Programming System. IEEE Trans. Knowl. Data Eng. 4(4): 344-359(1992).

Digital Library

Google Scholar

[10]

[10] M. H. Jamil and L. V. S. Lakshmanan. ORLOG: A logic for semantic object-oriented models. In Proceedings of the ISMM First International Conference on Information and Knowledge Management, pages 584- 592, Baltimore, Maryland, Nov. 1992.

Google Scholar

[11]

[11] M. Jarke, S. Eherer, R. Gallersdoerfer, M. Jeusfeld, and M. Staudt. ConceptBase - a deductive object base manager. (Submitted), 1993.

Google Scholar

[12]

[12] Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz: Constraint Query Languages. PODS 1990: 299-313.

Digital Library

Google Scholar

[13]

[13] Michael Kifer, Won Kim, Yehoshua Sagiv: Querying Object-Oriented Databases. SIGMOD Conference 1992: 393- 402.

Digital Library

Google Scholar

[14]

[14] Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146.

Digital Library

Google Scholar

[15]

[15] John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7.

Digital Library

Google Scholar

[16]

[16] D. Maier. A logic for objects. Technical Report Technical report CS/E-86-012, Oregon Graduate Center, Beaverton Oregon 97006-1999, November 1986.

Google Scholar

[17]

[17] Inderpal Singh Mumick, Kenneth A. Ross: An Architecture for Declarative Object-Oriented Databases. Workshop on Deductive Databases, JICSLP 1992: 21-30.

Google Scholar

[18]

[18] I. S. Mumick and K. A. Ross. The influence of class hierarchy choice on query language design. In Proceedings of the Workshop on Combining Declarative and Object-Oriented Databases, pages 152-154, Washington, D.C., May 1993.

Google Scholar

[19]

[19] Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6.

Digital Library

Google Scholar

[20]

[20] Jack A. Orenstein, Sam Haradhvala, Benson Margulies, Don Sakahara: Query Processing in the ObjectStore Database System. SIGMOD Conference 1992: 403-412.

Digital Library

Google Scholar

[21]

[21] Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317.

Digital Library

Google Scholar

[22]

[22] Raghu Ramakrishnan: Magic Templates: A Spellbinding Approach to Logic Programs. ICLP/SLP 1988: 140-159.

Google Scholar

[23]

[23] Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238- 250.

Digital Library

Google Scholar

[24]

[24] Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan, Praveen Seshadri: Implementation of the CORAL Deductive Database System. SIGMOD Conference 1993: 167-176.

Digital Library

Google Scholar

[25]

[25] Joel Richardson: Supporting Lists in a Data Model (A Timely Approach). VLDB 1992: 127-138.

Digital Library

Google Scholar

[26]

[26] Kenneth A. Ross: Modular Stratification and Magic Sets for DATALOG Programs with Negation. PODS 1990: 161- 171.

Digital Library

Google Scholar

[27]

[27] W. G. Roth. Mimsy: A system for analyzing time series data in the stock market domain. Technical Report (To appear), University of Wisconsin at Madison, 1993.

Google Scholar

[28]

[28] Lawrence A. Rowe, Michael Stonebraker: The POSTGRES Data Model. VLDB 1987: 83-96.

Digital Library

Google Scholar

[29]

[29] Bjarne Stroustrup: The C++ Programming Language, Second Edition. Addison-Wesley 1991, ISBN 0-201-53992-6.

Digital Library

Google Scholar

[30]

[30] K. Yokota, H. Tsuda, and Y. Morita. Specific features of a deductive object-oriented database language QUIXOTE. In Proceedings of the Workshop on Combining Declarative and Object-Oriented Databases, pages 89-99, Washington, D.C., May 1993.

Google Scholar

Cited By

View all

Jaber MVoronkov A(2006)Implementation of UNIDOOR, a deductive object-oriented database systemProceedings of the 10th East European conference on Advances in Databases and Information Systems10.1007/11827252_14(155-170)Online publication date: 3-Sep-2006
https://dl.acm.org/doi/10.1007/11827252_14
Liu MDobbie GLing T(2002)A logical foundation for deductive object-oriented databasesACM Transactions on Database Systems10.1145/507234.50723727:1(117-151)Online publication date: 1-Mar-2002
https://dl.acm.org/doi/10.1145/507234.507237
Litman DPatel-Schneider PMishra ACrawford JDvorak D(2002)R++IEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2002.100034714:3(638-658)Online publication date: 1-May-2002
https://dl.acm.org/doi/10.1109/TKDE.2002.1000347
Show More Cited By

Recommendations

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 ...
Submerged breakwater hydrodynamic modeling for wave dissipation and coral restorer structure
ICBBE '16: Proceedings of the 3rd International Conference on Biomedical and Bioinformatics Engineering

Wave transmission is the coastal character resulted from interaction of incident wave and submerged breakwater. Coastal hydrodynamic parameters mainly wave period, wave height and water depth while structural geometry factor such as structural height, ...
Experiences Teaching Coral Before C++ in CS1
SIGCSE 2023: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1

Coral was introduced several years ago to ease the learning in college-level introductory programming courses. Coral consists of a simple textual code language and corresponding flowchart language and a free web-based educational simulator. Previous ...

Comments

Information & Contributors

Information

Published In

VLDB '93: Proceedings of the 19th International Conference on Very Large Data Bases

August 1993

703 pages

ISBN:155860152X

Publisher

Morgan Kaufmann Publishers Inc.

San Francisco, CA, United States

Publication History

Published: 24 August 1993

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jaber MVoronkov A(2006)Implementation of UNIDOOR, a deductive object-oriented database systemProceedings of the 10th East European conference on Advances in Databases and Information Systems10.1007/11827252_14(155-170)Online publication date: 3-Sep-2006
https://dl.acm.org/doi/10.1007/11827252_14
Liu MDobbie GLing T(2002)A logical foundation for deductive object-oriented databasesACM Transactions on Database Systems10.1145/507234.50723727:1(117-151)Online publication date: 1-Mar-2002
https://dl.acm.org/doi/10.1145/507234.507237
Litman DPatel-Schneider PMishra ACrawford JDvorak D(2002)R++IEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2002.100034714:3(638-658)Online publication date: 1-May-2002
https://dl.acm.org/doi/10.1109/TKDE.2002.1000347
Liu M(2000)Design and Implementation of the ROL Deductive Object-Oriented Database SystemJournal of Intelligent Information Systems10.1023/A:100877400648215:2(121-146)Online publication date: 1-Sep-2000
https://dl.acm.org/doi/10.1023/A%3A1008774006482
Ashrafuzzaman MKusalik A(1999)An Implementation Architecture for Orthogonally Persistent Deductive Object-Oriented Database SystemsProceedings of the 1999 International Symposium on Database Engineering & Applications10.5555/850953.853886Online publication date: 2-Aug-1999
https://dl.acm.org/doi/10.5555/850953.853886
Liu M(1999)Overview of the ROL2 Deductive Object-Oriented Database SystemProceedings of the Technology of Object-Oriented Languages and Systems10.5555/832257.833026Online publication date: 1-Aug-1999
https://dl.acm.org/doi/10.5555/832257.833026
Liu M(1998)An Overview of the Rule-Based Object LanguageJournal of Intelligent Information Systems10.1023/A:100860990609010:1(5-29)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1023/A%3A1008609906090
Litman DPatel-Schneider PMishra A(1997)Modeling dynamic collections of interdependent objects using path-based rulesACM SIGPLAN Notices10.1145/263700.26372332:10(77-92)Online publication date: 9-Oct-1997
https://dl.acm.org/doi/10.1145/263700.263723
Litman DPatel-Schneider PMishra ALoomis MBloom T(1997)Modeling dynamic collections of interdependent objects using path-based rulesProceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications10.1145/263698.263723(77-92)Online publication date: 9-Oct-1997
https://dl.acm.org/doi/10.1145/263698.263723
Barja MPaton NFernandes AWilliams MDinn A(1994)An Effective Deductive Object-Oriented Database Through Language IntegrationProceedings of the 20th International Conference on Very Large Data Bases10.5555/645920.672969(463-474)Online publication date: 12-Sep-1994
https://dl.acm.org/doi/10.5555/645920.672969
Show More Cited By

Abstract

References

Cited By

Recommendations

The CORAL deductive system

Submerged breakwater hydrodynamic modeling for wave dissipation and coral restorer structure

Experiences Teaching Coral Before C++ in CS1

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations