H ? « ‹ ← → › »

Language peer sets for CORAL:
United States↑
United States/1993↑
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

CORAL(ID:1925/cor004)

Language for deductive database 

alternate simple view
Country: United States
Designed 1993
Published: 1993

for COntrol Relations And Logic

U Wisconsin Madison. 1993.

Language for deductive database.

Prolog-like syntax with SQL-like extensions. Many evaluation techniques are supported. Implemented in C++.

from CMU AI gloss:
"CORAL is a deductive database/logic programming system developed at
the University of Wisconsin-Madison. It is a declarative language
based on Horn-clause rules with extensions like SQL's group-by and
aggregation operators, and uses a Prolog-like syntax.

CORAL supports many evaluation techniques, including bottom-up
fixpoint evaluation and top-down backtracking, a module mechanism,
support for disk-resident data, a C++ interface, and an on-line help
facility."

People:
Structures:
Related languages
DATALOG → CORAL   Based on
Prolog → CORAL   Derivation of
SQL → CORAL   Derivation of
CORAL → Coral++   Extension of
References:
  • Raghu Ramakrishnan, Per Bothner, Divesh Srivastava (1990) Raghu Ramakrishnan, Per Bothner, Divesh Srivastava, and S. Sudarshan,"CORAL: A Database Programming Language"
          in [Proceedings] (1990) Chomicki, Jan (ed) Proceedings of the NA CLP’90 Workshop on Deductive Databases
  • Ramakrishnan Raghu, Divesh Srivastava, and S. Suda (1992) Ramakrishnan Raghu, Divesh Srivastava, and S. Sudarshan, "CORAL: Control, Relations and Logic" Abstract Citeseer
          in [Proceedings] (1992) Proceedings of the International Conference on Very Large Databases, 1992
  • Raghu Ramakrishnan, Divesh Srivastava, S. Sudarsha (1993) Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan and Praveen Seshadri, "Implementation of the CORAL Deductive Database System"
          in [ACM SIGMOD] (1993) [ACM SIGMOD] Proceedings of the 1993 ACM SIGMOD Conference on Management of Data
  • Raghu Ramakrishnan, Praveen Seshadri, Divesh Sriva (1993) Raghu Ramakrishnan, Praveen Seshadri, Divesh Srivastava, and S. Sudarshan, "An Overview of CORAL", 1993.
          in [ACM SIGMOD] (1993) [ACM SIGMOD] Proceedings of the 1993 ACM SIGMOD Conference on Management of Data
  • Ramakrishnan, Raghu, Praveen Seshadri, Divesh Sriv (1993) Ramakrishnan, Raghu, Praveen Seshadri, Divesh Srivastava, and S. Sudarshan, "The CORAL User Manual: A Tutorial Introduction to CORAL", 1993
          in [ACM SIGMOD] (1993) [ACM SIGMOD] Proceedings of the 1993 ACM SIGMOD Conference on Management of Data
  • Srivastava, Divesh (1993) Srivastava, Divesh "Representing and querying complex information in the Coral deductive database system" Ph.D. Thesis, University of Wisconsin-Madison, 1993 Abstract
          in [ACM SIGMOD] (1993) [ACM SIGMOD] Proceedings of the 1993 ACM SIGMOD Conference on Management of Data
  • Srivastava, Divesh; Ramakrishnan, Raghu; Sudarshan (1993) Srivastava, Divesh; Ramakrishnan, Raghu; Sudarshan, S. and Praveen Seshadri, "Coral++: Adding Object-Orientation to a Logic Database Language" Abstract Extract: Related research Extract: Overview of the Coral++ Design Extract: Introduction Extract: Related Work
          in [VLDB] (1993) [VLDB] Proceedings of the International Conference on Very Large Databases, 1993.
  • Ramakrishnan, Raghu; Srivastava, Divesh; Sudarshan (1994) Ramakrishnan, Raghu; Srivastava, Divesh; Sudarshan, S.; and Praveen Seshadri, "The CORAL Deductive System" Abstract Page at CiteSeer
          in (1994) The VLDB Journal, Special Issue on Prototypes of Deductive Database Systems, 3(2) April 1994
  • Philippsen, Michael (2000) Philippsen, Michael "A survey of concurrent object-oriented languages" pp917-980
          in (2000) Concurrency: Practice and Experience 2000 v12
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder