The use of Carin language and algorithms for information integration: The Picsel system

International Journal of Cooperative Information Systems

Volumn 9, Issue 4, 2000, Pages 383-401

  Goasdoué, François ^a   Lattès, Véronique ^a   Rousset, Marie Christine ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034358041     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843000000181     Document Type: Article

References (16)

1. A. Aho, Y. Sagiv and J. D. Ullman, Equivalence of relational expressions, SIAM J. Computing 8, 2 (1979) 218-246.
2. Y. Arens, C. A. Knoblock and W.-M. Shen, Query reformulation for dynamic information integration, J. Int. Inf. Syst., 6, 1996.
3. C. Beeri, A. Y. Levy and M. C. Rousset, Rewriting queries using views in description logics, Proc. 16th Symp. Principles Database Syst. (PODS'97), 1997.
4. D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi and R. Rosati, Description logic framework for information integration, Proc. 6th Int. Conf. Principles Knowledge Representation Reasoning: (KR'98), 1998.
5. D. Calvanese, G. De Giacomo and M. Lenzerini, On the decidability of query containment under constraints, Proc. 17th Symp. Principles Database Syst. (PODS'98), 1998.
6. A. K. Chandra and P. M. Merlin, Optimal implementation of conjunctive queries in relational databases, Proc. 9th Annual ACM Symp. Theory Computing, (1977) 77-90.
7. S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman and J. Widom, The TSIMMIS project: Integration of heterogenous information sources, Proc. IPSJ, Tokyo, Japan, October 1994.
8. O. Duschka and M. Genesereth, Answering queries using views, Proc. 16th Symp. Principles Database Syst. (PODS'97), 1997.
9. D. Florescu, A. Levy and A. Mendelzon, Database techniques for the world-wide web: A survey, SIGMOD Record J. 27, 3, 1998.
10. M. R. Genesereth, A. M. Keller and O. M. Duschka, Infomaster: An information integration system, Proc. ACM SIGMOD Int. Conf. Management Data, SIGMOD-97, 1997.
11. A. Y. Levy, A. Rajamaran and J. Ordille, Query-answering algorithms for information agents, Proc. 13th AAAI Conf. Arti. Intell. AAAI'96, 1996.
12. A. Levy and M.-C. Rousset, Combining Horn Rules and description logics in CARIN, Arti. Intell. J. 104 (1998) 165-209.
13. M. C. Rousset, Représentation des connaissances et algorithme d'expansion de requêtes dans PICSEL, Technical Report, (in French), available at http://www.lri.fr/ ~mcr/publis/rapport-picsel.ps, 1998.
14. Y. Sagiv, Optimizing datalog programs, ed., Jack Minker, Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, (1988) 659-698.
15. O. Shmueli, Equivalence of datalog queries is undecidable, J. Logic Programming 15, (1993) 231-241.
16. J. D. Ullman, Information integration using logical views, Proc. ICDT'97, 1997.