A generic persistence model for (C)LP systems (and two useful implementations)

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

Volumn 3057, Issue , 2004, Pages 104-119

  Correas, J ^a   Gomez J M ^a   Carro, M ^a   Cabeza, D ^a   Hermenegildo, M ^a,b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b UNIVERSITY OF NEW MEXICO   (United States)

Author keywords

Databases; Persistency; Prolog; Query optimization

Indexed keywords

DATABASE SYSTEMS; QUERY PROCESSING;

EXTERNAL DATABASE; IMPLEMENTATION APPROACH; PERSISTENCE MODELS; PERSISTENCY; PERSISTENT STORAGE; PROLOG; QUERY OPTIMIZATION; RELATIONAL DATABASE;

C (PROGRAMMING LANGUAGE);

EID: 84856140599     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24836-1_8     Document Type: Conference Paper

References (14)

1. Kowalski, R.A.: Logic Programming with Integrity Constraints. In: Proceedings of JELIA. (1996) 301-302
2. Carro, M., Hermenegildo, M.: Concurrency in Prolog Using Threads and a Shared Database. In: 1999 International Conference on Logic Programming, MIT Press, Cambridge, MA, USA (1999) 320-334
3. Pineda, A., Bueno, F.: The O’Ciao Approach to Object Oriented Logic Programming. In: Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), Copenhagen (2002)
4. Lindholm, T.G., O’Keefe, R.A.: Efficient Implementation of a Defensible Semantics for Dynamic Prolog Code. In Lassez, J.L., ed.: Logic Programming: Proceedings of the Fourth Int’l. Conference and Symposium, The MIT Press (1987) 21-39
5. Ullman, J.D.: Database and Knowledge-Base Systems, Vol. 1 and 2. Computer Science Press, Maryland (1990)
6. Hermenegildo, M., Puebla, G., Bueno, F., López-García, P.: Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). In: 10th International Static Analysis Symposium (SAS’03). Number 2694 in LNCS, Springer-Verlag (2003) 127-152
7. Hermenegildo, M., Bueno, F., Puebla, G., López-García, P.: Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. In: 1999 Int’l. Conference on Logic Programming, Cambridge, MA, MIT Press (1999) 52-66
8. Caballero, I., Cabeza, D., Genaim, S., Gomez, J., Hermenegildo, M.: persdb˙sql: SQL Persistent Database Interface. Technical Report CLIP10/98.0 (1998)
9. Cabeza, D., Hermenegildo, M., Genaim, S., Taboch, C.: Design of a Generic, Homogeneous Interface to Relational Databases. Technical Report D3.1.M1-A1, CLIP7/98.0 (1998)
10. Draxler, C.: Accessing Relational and Higher Databases through Database Set Predicates in Logic Programming Languages. PhD thesis, Zurich University, Department of Computer Science (1991)
11. Ramakrishnan, R., Ullman, J.D.: A survey of research on deductive database systems. Journal of Logic Programming 23 (1993) 125-149
12. Pattengale, N.D.: Transactional semantics. Technical Report CLIP3/04.0, Technical University of Madrid (UPM), Facultad de Informática, 28660 Boadilla del Monte, Madrid, Spain (2004)
13. Correas, J., Gomez, J.M., Carro, M., Cabeza, D., Hermenegildo, M.: A Generic Persistence Model for (C)LP Systems (and two useful implementations). Technical Report CLIP3/2003.1(2004), Technical University of Madrid, School of Computer Science, UPM (2004) http://clip.dia.fi.upm.es/papers/persdb-tr1.pdf.
14. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G.: The Ciao Prolog System. Reference Manual (v1.8). The Ciao System Documentation Series-TR CLIP4/2002.1, School of Computer Science, Technical University of Madrid (UPM) (2002) System and on-line version of the manual available at http://clip.dia.fi.upm.es/Software/Ciao/.