Abstract
F-logic language is a logic database language based on frame logic. It is powerful in expressing object-oriented features. However, there was little work discussing its capability of manipulating complex objects. In this paper, the authors compare the capability of F-logic with that of logic database languages represented by COL. Through two pairs of semantic-preserving transformations, F-logic programs and their Herbrand interpretations can be transformed into COL programs and their corresponding Herbrand interpretations, and vice versa. Also, the effects of negation are discussed. The results of this paper indicate that, without consideration of the effects of OID generating, F-logic language has the same power in manipulating complex objects as COL, LDL1, and ELPS.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Codd E F. A relational model for large shared data base.CACM, 1970, 13(6).
Chandra A K, Harel D. Computable queries for relational database.J Comput. Sys. Sci., 1980, 21.
Beeri Cet al. Sets and negation in a logic database language (LDL1).ACM PODS, 1987, pp.21–37.
Kuper M. On the expressive power of logic programming languages with sets.ACM PODS, 1988, 10–14.
Abiteboul S, Grumbach S. COL: A logic-based language for complex objects. InProc. Workshop on Database Programming Language, 1987.
Abiteboul S, Grumbach S. A rule-based language with functions and sets.ACM Trans. Database Systems, 1991, 16(1).
Abiteboul S, Hull R. Data functions, datalog and negation.ACM SIGMOD, 1988.
Abiteboul Set al. On the power of languages for the manipulation of complex objects. INRIA, Technical Report, 1993.
Chen Wet al. C-logic for complex objects.ACM PODS, 1989.
Kifer M, Wu J. A logic for object-oriented programming.ACM PODS, 1989.
Kifer M, Wu J. A logic for programming with complex objects.J Comput. Sys. Sci., 1993, 47.
Kifer M, Lausen G, Wu J. Logic foundations of object-oriented and frame-based languages.J Association for Computing Machinery, 1995, 42(4).
Author information
Authors and Affiliations
Additional information
This work is supported by the National Natural Science Foundation of China.
Tian Zengping is a Ph.D. candidate in Department of Computer Science, Fudan University. His current research interests include multimedia databases.
Wang Yujun is a Ph.D. candidate in Department of Computer Science, Fudan University. His current research interests include constraint databases.
Qu Yunyao is an Associate Professor in Department of Computer Science, Fudan University. His current research interests include transaction processing and distributed databases.
Shi Baile is a Professor in Department of Computer Science, Fudan University. His current research interests include database theories and their applications, software engineering.
Rights and permissions
About this article
Cite this article
Tian, Z., Wang, Y., Qu, Y. et al. On the expressive power of F-logic language. J. of Comput. Sci. & Technol. 12, 510–519 (1997). https://doi.org/10.1007/BF02947203
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02947203