Abstract
Principal decisions for a query language for heterogeneous information resource management systems are discussed. The language is oriented towards expressing assertions, construction of functions and query formation in the content of a generalized heterogeneous information resource base.
The paper contributes to the development of declarative query languages for object-oriented databases that provide deductive capabilities based on a multisorted predicate logic.
An approach for query evaluation on the basis of a bottom-up meta-interpretation for a specification of a fixpoint procedure is proposed.
Additional requirements for the proposed query language programs admissibility are presented.
Preview
Unable to display preview. Download preview PDF.
References
S.Abiteboul. Towards a deductive object-oriented database language. DOOD '89, p. 419–438, 1989.
S.Abiteboul, C.Beeri. On the power of languages for the manipulation of complex objects. Report n. 846, INRIA, p. 1–60, 1988.
S.Abiteboul, S.Grumbach. COL: logic-based language for complex objects. Proc. EDBT, 271–293, 1988.
S.Abiteboul, P.C.Kanellakis. Object identity as a query language primitive. ACM SIGMOD Record, v.18, n. 2, p. 159–173, June, 1989.
M.Atkinson, et.al. The object-oriented database system manifesto. DOOD '89, p. 40–57, 1989.
J.Banerjee, W.Kim, K.-C.Kim. Queries in object-oriented databases. ACM SIG-MOD Conference, p. 31–38, 1988.
F.Bry. Query evaluation in recursive databases: bottom-up and top-down reconciled. Data & Knowledge Engineering, n. 5, p. 289–312, 1990.
F.Cacace, S.Ceri, S.Crespi-Reghizzi, L.Tanca, R.Zicari. Integrating object-oriented data modelling with a rule-based programming. ACM SIGMOD Conference, p. 225–231, 1990.
L. Cardelli. Types for data-oriented languages. Proceedings of EDBT '88, Springer Verlag, p. 1–15, 1988.
S.Ceri, Gottlob, L.Tanca. Logic programming and databases. Springer Verlag, 1990, p.
S.Ceri, S.Crespi-Reghizzi, L.Lavazza, R.Zicari. ALGRES: an advanced database for complex applications. Report n. 89–010, Politechnico Di Milano, Dipartimento Di Elettronica, p. 1–19, 1989.
S.Cluet, C.Delobel, C.Lecluse, P.Richard. Reloop, an algebra based query language for an object-oriented database system. DOOD '89, p. 294–313, 1989.
Cruz I.F. Declarative query languages for object-oriented databases. Unpublished paper, Toronto University, p. 44, March, 1990.
R.H.Guting, R.Zicari. An introduction to the nested sequences of tuples: data model and algebra. LNCS n. 361, Nested relations and complex objects in databases, Springer Verlag, p.153–175, 1989.
G.Jaeschke, H.J.Scheck. Remarks on the algebra of non-first normal form relations. PODS, p. 124–138, 1982.
L.A. Kalinichenko. Methods and tools for heterogeneous database integration. Moscow, Science Publ., p. 423, 1983 (in Russian).
L.A.Kalinichenko. Methods and tools for equivalent data model mapping construction. Proceedings of EDBT '90, Springer Verlag, p. 92–119, 1990.
L.A.Kalinichenko. Features of the generalized heterogeneous information resource represenatation language. Proc. of Joint Symposium on Information Processing and Software Systems Design Automation, Academy of Sciences of the USSR, Siemens AG, Springer Verlag, p. 126–143, 1990.
L.A.Kalinichenko. SYNTHESIS: towards a query facility for generalized information resources. Proc. of the First East-West Workshop on Database Technology. Kiev, October 1990, LNCS, Springer Verlag, 1991
L.A.Kalinichenko, V.M.Ryvkin. I.A.Chaban. Main features of data manipulation language in SISYPHUS — the system for integrated storage of information. Programmirovanie Journal, Moscow, n. 6, 1975 (in Russian).
H.F.Korth, M.A.Roth. Query languages for nested relational databases. LNCS n. 361, Nested relations and complex objects in databases, Springer Verlag, p. 190–216, 1989.
M.Koubarakis, J.Mylopoulos, M.Stanley, A.Borgida. Telos: features and formalization. Technical report KRR-TR-89-4, University of Toronto, February, 1989. 23. M.Lacroix, A.Pirotte. Domain-oriented languages. Proc. of the 3rd VLDB Conference, 1977.
C.Lecluse, P.Richard, F.Velez. O2, an object-oriented data model. ACM SIG-MOD Record, v. 17, n. 3, p. 424–433, 1988.
J.W.Lloyd, R.W.Topor. A basis for deductive database systems. The Journal of Logic Programming, n.2, p.93–109, 1985, n.1, p.55–67, 1986.
F.Manola. Object-oriented knowledge bases. AI Expert, p. 26–63, March, p. 46–57, April, 1990.
S.Naqvi, S.Tsur. A logical language for data and knowledge bases. Freeman Publ., 1989.
H.J.Scheck, M.H.Scholl. The two roles of nested relations in the DASDBS project. LNCS n. 361, Nested relations and complex objects in databases, Springer Verlag, p. 50–68, 1989.
M.Stonebraker (ed.) Third generation database system manifesto. The Committee for Advanced DBMS Function, University of California, p. 1–28, April 1990.
Katsumi Tanaka, Tae-Soo Chang. On natural joins in object-oriented databases. DOOD '89, p. 279–293, 1989.
R.W.Topor, T.Keddis, D.W.Wright. Deductive databases tools. The Australian Computer Journal, v. 17, n. 4, p.163, 173, November, 1985.
L.Vieille. Recursive query processing: the power of logic. Theoretical Computer Science, p. 1–53, 1989.
C.Zaniolo. The representation and deductive retrieval of complex objects. VLDB 11, Belgium, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kalinichenko, L., Zadorozhny, V. (1991). A generalized information resource query language and basic query evaluation technique. In: Delobel, C., Kifer, M., Masunaga, Y. (eds) Deductive and Object-Oriented Databases. DOOD 1991. Lecture Notes in Computer Science, vol 566. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55015-1_29
Download citation
DOI: https://doi.org/10.1007/3-540-55015-1_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55015-0
Online ISBN: 978-3-540-46646-8
eBook Packages: Springer Book Archive