Logic and Algebraic languages for interoperability in multidatabase systems

Journal of Logic Programming

Volumn 33, Issue 2, 1997, Pages 101-149

  Lakshmanan, Laks V S ^a   Sadri, Fereidoon ^b   Subramanian, Iyer N ^c  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b UNIVERSITY OF NORTH CAROLINA AT GREENSBORO   (United States)

^c IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTATIONAL LINGUISTICS; DATABASE SYSTEMS; EQUIVALENCE CLASSES; INFORMATION RETRIEVAL;

MULTIDATABASE SYSTEMS; RELATIONAL ALGEBRA; SCHEMALOG;

LOGIC PROGRAMMING;

EID: 0031281994     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(96)00146-X     Document Type: Article

References (58)

1. Abiteboul, S., and Grumbach, S., COL: A Logic-Based Language for Complex Objects, in: Proceedings of Workshop on Database Programming Languages, Morgan Kauffmann, CA, 1987, pp. 253-276.
2. ACM Computing Surveys, 22(3) (1990). Special issue on Heterogeneous Database Systems.
3. ACM Transactions on Database Systems 19(2) (1994).
4. Ahmed, R., DeSmedt, P., Kent, W., Ketabchi, M., Litwin, W., Rafii, A., and Shan, M. C., Pegasus: A System for Seamless Integration of Heterogeneous Information Sources, in: IEEE COMPCON, 1991, pp. 128-135.
5. Ahmed, R., Smedt, P., Du, W., Kent, W., Ketabchi, A., and Litwin, W., The Pegasus Heterogeneous Multidatabase System, IEEE Computer (Dec. 1991).
6. Asirelli, P., Renso, C., and Turini, F., Language Extensions for Semantic Integration of Deductive Databases, in: Proceedings of the International Workshop on Logic in Databases (LID'96), Pisa, Italy, July 1996, pp. 425-444.
7. Barsalou, T. and Gangopadhyay, D., An Open Framework for Interoperation of Multimodel Multidatabase Systems, in: Proceedings of the IEEE International Conference on Data Engineering, 1992.
8. Carey, M., DeWitt, D., Richardson, J., and Shekita, E., Object and File Management in the Exodus Extensible Database System, in: Proceedings of the International Conference on Very Large Databases, 1986.
9. Chang, C. L. and Lee, R. C. T., Symbolic Logic and Mechanical Theorem Proving, New York, Academic Press, 1973.
10. Chawathe, S., Garcia-Molina, H., Hammer, H., Ireland, K., Papakonstantinou, Y., Ullman, J. D., and Widom, J., The TSIMMIS Project: Integration of Heterogeneous Information Sources, in: Proceedings of IPSJ, Tokyo, Japan, 1994.
11. Chen, W., Kifer, M., and Warren, D. S., Hilog as a Platform for Database Language, in: 2nd International Workshop on Database Programming Languages, June 1989.
12. Chen, W., Kifer, M., and Warren, D. S., A Foundation for Higher-Order Logic Programming, Technical Report, SUNY at Stony Brook, 1990. (Preliminary versions appear in Proceedings of the 2nd International Workshop on DBPL, 1989, and Proc. NACLP, 1989.)
13. Chomicki, J. and Litwin, W., Declarative Definition of Object-Oriented Multidatabase Mappings, in: Ozsu, M. T., Dayal, U., and Valduriez, P. (eds.), Distributed Object Management, M. Kaufmann Publishers, Los Altos, CA, 1993.
14. Codd, E. F., Codd, S. B., and Salley, C. T., Providing OLAP (On-Line Analytical Processing) to User-Analysts: An IT Mandate, 1995. White paper - URL: http://www.arborsoft.com/papers/coddTOC.html.
15. Cuppens, F. and Demolome, R., Cooperative Answering: A Methodology to Provide Intelligent Access to Databases, in: Second International Conference on Expert Database Systems, 1988.
16. Dobbie, G., Foundations on Deductive Object-Oriented Database Systems, Ph.D. Dissertation, Research Report, University of Melbourne, Parkville, Australia, Mar. 1995.
17. Gaasterland, T., Godfrey, P., and Minker, J., An Overview of Cooperative Answering, Journal of Intelligent Information Systems 1:123-157 (1992).
18. Gyssens, M., Lakshmanan, L. V. S., and Subramanian, I. N., Tables as a Paradigm for Querying and Restructuring, in: Proceedings of the ACM Symposium on Principles of Database Systems (PODS), June 1996.
19. Hsiao, D. K., Federated Databases and Systems; Part-One - A Tutorial on Their Data Sharing, VLDB Journal 1:127-179 (1992).
20. Hurson, A. R., Bright, M. W., and Pakzad, S., Multidatabase Systems: An Advanced Solution for Global Information Sharing, IEEE Computer Society, Los Alamitos, CA, 1994.
21. Kifer, M., Lausen, G., and Wu, J., Logical Foundations for Object-Oriented and Frame-Based Languages, Journal of ACM (May 1995).
22. Kifer, M. and Li, A., On the Semantics of Rule-Based Expert Systems with Uncertainty, in: M. Gyssens, J. Paradaens, and D. van Gucht (eds.), 2nd International Conference on Database Theory, Bruges, Belgium, Aug. 31-Sept. 2, 1988, pp. 102-117.
23. Kifer, M. and Subrahmanian, V. S., Theory of Generalized Annotated Logic Programming and Its Applications, Journal of Logic Programming 12:335-367 (1992).
24. Kim, W., Introduction to Object Oriented Databases, MIT Press, 1990.
25. Krishnamurthy, R., Litwin, W., and Kent, W., Language Features for Interoperability of Databases with Schematic Discrepancies, in: ACM SIGMOD International Conference on Management of Data, 1991, pp. 40-49.
26. Krishnamurthy, R. and Naqvi, S., Towards a Real Horn Clause Language, in: Proceedings of the 14th VLDB Conference, 1988, pp. 252-263.
27. Lakshmanan, L. V. S. and Sadri, F., Modeling Uncertainty in Deductive Databases, in: Proceedings of the International Conference on Database Expert Systems and Applications (DEXA '94), Athens, Greece, Sept. 1994.
28. Lakshmanan, L. V. S. and Subramanian, I. N., On Higher-Order Logics for Multi-Database Interoperability, Technical Report, Concordia University, Montreal, Canada, 1995.
29. Lakshmanan, L. V. S., Sadri, F., and Subramanian, I. N., Extending Database Technology for Sophisticated Database Programming, Technical Report, Concordia University, Montreal, Canada, June 1995.
30. Lakshmanan, L. V. S., Sadri, F., and Subramanian, I. N., SchemaSQL - A Language for Querying and Restructuring Multidatabase Systems, in: Proceedings of the IEEE International Conference on Very Large Databases (VLDB'96), Bombay, India, Sept. 1996, pp. 239-250.
31. Lakshmanan, L. V. S., Subramanian, I. N., Papoulos, D., and Shiri, N., A Declarative System for Multi-Database Interoperability, in: V. S. Alagar (ed.), Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology (AMAST), Montreal, Canada, July 1995.
32. Landers, T. and Rosenberg, R., An Overview of Multibase, Distributed Databases, 1982, pp. 153-184.
33. Lawley, M. J., A Prolog Interpreter for F-logic, Technical Report, Griffith University, 1993.
34. Lefebvre, A., Bernus, P., and Topor, R., Query Transformation for Accessing Heterogeneous Databases, in: Workshop on Deductive Databases in Conjunction with JICSLP, Nov. 1992, pp. 31-40.
35. Levy, A. Y., Sirvastava, D., and Kirk, T., Data Model and Query Evaluation in Global Information Systems, Journal of Intelligent Information Systems 4 (1995).
36. Litwin, W., MSQL: A Multidatabase Language, Information Sciences 48(2) (1989).
37. Litwin, W., Mark, L., and Roussopoulos, N., Interoperability of Multiple Autonomous Databases, ACM Computing Surveys 22(3):267-293 (1990).
38. Manchanda, S., Higher-Order Logic as a Data Model, in: Proceedings of the North American Conference on Logic Programming, 1989, pp. 330-341.
39. Gori, M. and Della Lena, F., A Schemalog Implementation for a Mediator Language, Master's Thesis, Department of Computer Science, University of Pisa, Pisa, Italy, Oct. 1996.
40. Mumick, I. S., Pirahesh, H., and Ramakrishnan, R., The Magic of Duplicates and Aggregates, in: Proceedings of the 16th International Conference on Very Large Databases (VLDB'90), Brisbane, Australia, 1990, pp. 264-277.
41. Nguyen, G. T. and Rieu, D., Schema Evolution in Object-Oriented Database Systems, Data and Knowledge Engrg. 4:43-67 (1989).
42. Osborn, S., The Role of Polymorphism in Schema Evolution in an Object-Oriented Database, in: IEEE Trans. on Knowledge and Data Engrg., Sept. 1989, pp. 310-317.
43. Papoulis, D., Realizing SchemaLog, Technical Report, Department of Computer Science, Concordia University, Montreal, Canada, 1994.
44. Ramakrishnan, R., Srivastava, D., and Sudarshan, S., CORAL: Control, Relations, and Logic, in: Proceedings of the International Conference on Very Large Databases, 1992.
45. Ross, K., Relations with Relation Names as Arguments: Algebra and Calculus, in: Proceedings of the 11th ACM Symposium on PODS, June 1992, pp. 346-353.
46. Sciore, E., Siegel, M., and Rosenthal, A., Using Semantic Values to Facilitate Interoperability among Heterogeneous Information Systems, ACM Transactions on Database Systems 19(2):254-290 (1994).
47. Shepherdson, J. C., Negation in Logic Programming, in: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, CA, 1988.
48. Sheth, A. P. and Larson, J. A., Federated Database System for Managing Distributed, Heterogeneous and Autonomous Databases, ACM Computing Surveys 22(3):183-236 (1990).
49. Subrahmanian, V. S., On the Semantics of Quantitative Logic Programs, in: Proceedings of the 4th IEEE Symposium on Logic Programming, Computer Society Press, Washington, DC, 1987, pp. 173-182.
50. Subrahmanian, V. S., Amalgamating Knowledge Bases, ACM Transactions on Database Systems 19(2):291-331 (1994).
51. Subrahmanian, V. S., Adali, S., Brink, A., Emery, R., Lu, J. J., Rajput, A., Rogers, T. J., Ross, R., and Ward, C., Hermes; Heterogeneous Reasoning and Mediator System, Technical Report, Institute for Advanced Computer Studies and Department of Computer Science, University of Maryland, College Park, 1995.
52. Templeton, M. et al., Mermaid: A Front-End to Distributed Heterogeneous Databases, in: Proceedings IEEE 75 5, May 1987, pp. 695-708.
53. Ullman, J. D., Database Theory: Past and Future, in: Proceedings of the ACM Symposium on PODS, 1987.
54. Ullman, J. D., Principles of Database and Knowledge-Base Systems, Vol. II, Computer Science Press, MD, 1989.
55. Ullman, J. D., Principles of Database and Knowledge-Base Systems, Vol. I, Computer Science Press, MD, 1989.
56. van Emden, M. H. and Kowalski, R. A., The Semantics of Predicate Logic as a Programming Language, JACM 23(4):733-742 (1976).
57. Wiederhold, G., Mediators in the Architecture of Future Information Systems, IEEE Computer, Mar. 1992.
58. Sadri, F., Reliability of Answers to Queries in Relational Databases, IEEE Transactions on Knowledge and Data Engineering 3(2):245-252 (1990).