CHRV: A flexible query language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1495, Issue , 1998, Pages 1-14

  Abdennadher, Slim ^a   Schiitz, Heribert ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; INTELLIGENT DATABASES; LOGIC PROGRAMMING; QUERY LANGUAGES;

BOTTOM-UP EVALUATIONS; CONSTRAINT HANDLING RULES; CONSTRAINT SOLVERS; EXPRESSIVE POWER; EXTENDED LANGUAGES; FLEXIBLE QUERY LANGUAGES; LOGIC LANGUAGES; QUERY EVALUATION;

HIGH LEVEL LANGUAGES;

EID: 84944250290     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055987     Document Type: Conference Paper

References (11)

1. S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Third International Conference on Principles and Practice of Constraint Programming, CP'97, LNCS 1330. Springer, 1997.
2. S. Abdennadher and H. Schütz. Model generation with existentially quantified variables and constraints. In 6th International Conference on Algebraic and Logic Programming, LNCS 1298. Springer, 1997.
3. e 3.4 Extensions User Manual. ECRC Munich, Germany, 1994.
4. F. Bry and A. Yahya. Minimal model generation with positive unit hyper-resolution tableaux. In 5th Workshop on Theorem Proving with Tableaux and Related Methods, LNAI 1071. Springer, 1996.
5. K. Clark. Logic and Databases, chapter Negation as Failure, pages 293-322. Plenum Press, 1978.
6. J. Cohen. A view of the origins and development of Prolog. Communications of the ACM, 31(1):26-36, 1988.
7. T. Frühwirth. Constraint handling rules. In Constraint Programming: Basics and Trends, LNCS 910. Springer, 1995.
8. M. J. Maher. Logic semantics for a class of committed-choice programs. In Proceedings of the Fourth International Conference on Logic Programming. The MIT Press, 1987.
9. R. Manthey and F. Bry. SATCHMO: A theorem prover implemented in Prolog. In 9th Int. Conf. on Automated Deduction (CADE), LNCS 310. Springer, 1988.
10. D. A. Smith. Mixlog: A generalized rule based language. In VIèmes Journées Francophones de Programmation en Logique et programmation par Contraintes. Hermes, 1997.
11. J. E. Wunderwald. Adding Bottom-up Evaluation to Prolog. PhD thesis, Technische Universität München, 1996.