On the expressive power of F-logic language
暂无分享,去创建一个
[1] David Scott Warren,et al. C-logic of complex objects , 1989, PODS '89.
[2] Serge Abiteboul,et al. COL: A Logic-Based Language for Complex Objects , 1988, EDBT.
[3] Michael Kifer,et al. A logic for object-oriented logic programming , 1989, PODS '89.
[4] David Harel,et al. Computable Queries for Relational Data Bases , 1980, J. Comput. Syst. Sci..
[5] Michael Kifer,et al. A Logic Programming with Complex Objects , 1993, J. Comput. Syst. Sci..
[6] Catriel Beeri,et al. Sets and negation in a logic data base language (LDL1) , 1987, PODS.
[7] Serge Abiteboul,et al. Data functions, datalog and negation , 1988, SIGMOD '88.
[8] Catriel Beeri,et al. On the power of languages for manipulation of complex objects , 1987, VLDB 1987.
[9] Serge Abiteboul,et al. A rule-based language with functions and sets , 1991, TODS.
[10] E. F. Codd,et al. A relational model of data for large shared data banks , 1970, CACM.
[11] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.
[12] Gabriel M. Kuper. On the expressive power of logic programming languages with sets , 1988, PODS '88.
[13] E. F. CODD,et al. A relational model of data for large shared data banks , 1970, CACM.