R. Ramakrishnan, D. Srivastava, and S. Sudarshan, "Coral - control, relations and logic," in Proceedings of the International Conference on Very Large Databases, 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Method-Specific Knowledge Compilation - Murdock, Goel, al. (2000) (Correct)
....equivalence, overlap, and set containment. The rules enable query evaluation in multiple ways in which the tokens in a given query may match relation names, attribute names, or values in the underlying databases tables. The query processing is implemented using the CORAL deductive database system (Ramakrishnan et al. 1992). While the experiment described in this paper demonstrates method specific compilation of data into knowledge usable by Interactive Kritik, the other experiment shows how queries from Interactive Kritik can be flexibly evaluated in multiple ways. We expect an integration of the two to provide a ....
Ramakrishnan, R., D. Srivastava, and S. Sudarshan: 1992, `CORAL: Control, Relations, and Logic'. In: Proceedings of the International Conference of the Internation Conference on Very Large Databases.
Design, Implementation and Evaluation of SCORE (a System for.. - Aslandogan (1995) (1 citation) (Correct)
....C) Over(C; D) We have constructed a set of rules involving Over, Under, Left, Right, Behind, In Front Of, Overlaps, Inside and Outside. We show that the set of rules are sound and complete. Details are given in [22] Rule execution can be handled by deductive systems such as LDL and Coral [16, 18]. Another issue that is of interest is the elimination of redundant spatial relationships. When a relationship is specified by the user, it will have an effect on the computation of similarity. However, if this relationship is deducible from others, its effect is superfluous. We describe an ....
Ramakrishnan R., Srivasta D. and Sudarshan S. : "Coral-Control, Relations and Logic", Proceedings of VLDB '92.
Constructing a Domain-Specific DBMS Using a Persistent.. - Rozen, Stein, Goodman (1994) (3 citations) (Correct)
....store historical data. ffl An easy to implement, bottom up evaluation of datalog queries seemed adequate to our needs for the near future. ffl We hope to enhance the LabBase query language with rules and recursion, or replace it with a full scale logic programming implementation such as CORAL [16] or LDL [17] ffl Even if, in the future, we use a language independent object system, we would nevertheless still want associative queries. Besides providing multilingual access, a query language such as LabBase s provides two interrelated advantages: 1. One can often express all or part of ad ....
R. Ramakrishnan, D. Srivastava, and S. Sudarshan, "CORAL--control, relations and logic," in Proceedings of the 18th International Conference on Very Large Data Bases (L.-Y. Yuan, ed.), pp. 238--250, Aug. 1992. A longer version is available from the authors.
Design and Implementation of the Glue-Nail Database System - Derr, Morishita, Phipps (1993) (37 citations) (Correct)
....first argument. The optimizer chooses join orders and annotates the graph with access method and execution strategy choices. The graph is translated into a C program which uses an underlying database. The decisions made by the optimizer are hard coded into the target code. Like Glue Nail, CORAL [16] employs a two language paradigm. The declarative language is based on Horn clauses with extensions for handling modularly stratified negation, non ground facts, set and multi sets, aggregation, and I O. The imperative language is C extended with a relation and tuple class library. Using ....
R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL---Control relations and logic. In Proceedings of the Eighteenth International Conference on Very Large Data Bases, pages 238--250, 1992.
Designing Knowledge-Base Tools for Program.. - Wilde, Dietrich, Calliss (1995) (2 citations) (Correct)
....a routine is either a procedure or function. Code query rules form a library of queries that the Software Engineer can use to derive knowledge about the source code. These rules can be arbitrarily complex and include the power of recursion. IMCA utilizes the CORAL deductive database system [12]. An implementation of IMCA for Ada using the CORAL deductive database system is detailed in [5] CORAL is a public domain, second generation research prototype of a deductive database system, developed at the University of Wisconsin at Madison. CORAL has a modular declarative database language ....
Ramakrishnan, R., Srivastava, D. and Sudarshan, S., "CORAL: Control, Relations and Logic", Proc. of the Eighteenth International Conference on Very Large Databases, IEEE Computer Society Press, June 1992, pp. 47-54.
Content Based Approximate Picture Retrieval - Yu, Nair, Liu, Aslandogan, Dao (Correct)
....i.e. what can be deduced using the rules are logically correct and what are logically implied can be deduced using the rules. Since there are quite a few rules and the proof is lengthy, the details are given elsewehere [33] Rule execution can be handled by deductive systems such as LDL and Coral [25, 29, 39]. Another issue that is of interest is the elimination of redundant spatial relationships. If A is left of B and B is left of C, then it can be deduced that A is left of C. Suppose the user specifies all three spatial relationships in his description, then according to our computation of the ....
Ramakrishnan R., Srivasta D. and Sudarshan S. : "Coral-Control, Relations and Logic", Proceedings of VLDB '92.
The Glue-Nail Deductive Database System: Design.. - Derr, Morishita, Phipps (Correct)
....the graph with access methods. The graph is then translated into a C program which makes calls to an underlying database management system. The decisions made by the optimizer are hardwired into the target code. Thus, unlike Glue Nail, query execution plans are not able to adapt at run time. CORAL [28] is a database system prototype developed at the University of Wisconsin Madison. Like Glue Nail, CORAL employs a two language paradigm. The declarative language, which is similar to LDL, is based on Horn clauses with extensions for handling left to right modularly stratified negation, non ground ....
Raghu Ramakrishnan, Divesh Srivastava, and S. Sudarshan. CORAL---Control relations and logic. In Li-Yan Yuan, editor, Proceedings of the Eighteenth International Conference on Very Large Data Bases, pages 238--250, Vancouver, Canada, August 1992.
Content-Based Queries in Image Databases - Shaft, Ramakrishnan (1996) (1 citation) Self-citation (Ramakrishnan) (Correct)
No context found.
Ramakrishnan, R., Srivastava, D., and Sudarshan, S. "CORAL: Control, Relations and Logic," Proc. of the Int. Conf. on Very Large Databases, 1992.
Resource Management Services - For Parallel Applications (Correct)
No context found.
R. Ramakrishnan, D. Srivastava, and S. Sudarshan, "Coral - control, relations and logic," in Proceedings of the International Conference on Very Large Databases, 1992.
User Defined Aggregates in LDL++ - Haixun Wang Ucla (Correct)
No context found.
R. Ramakrishnan, D. Srivastava, S. Sudarshan. "CORAL: Control, Relations and Logic," in Proceedings of the International Conference on Very Large Databases, 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC