DBLP:conf/sigmod/KiferL89 + redirect page
Querying Object-Oriented Databases +,
A Logical Semantics for Object-Oriented Databases +,
Coral++: Adding Object-Orientation to a Logic Database Language +,
…
Has citation
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme + Has identifier
| F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme |
Has publishing details
pp. 134-146, 1989
Has title
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/sigmod/sigmod89.html#KiferL89
Has where published
SIGMOD Conference
Has year
1989
Has author
Michael Kifer +, Georg Lausen +
Has citation
DBLP:journals/vldb/AbiteboulB95 +, DBLP:conf/dbpl/AbiteboulG87 +, DBLP:journals/jlp/Ait-KaciN86 +, DBLP:conf/pods/Bancilhon88 +, DBLP:conf/pods/BancilhonK86 +, DBLP:conf/pods/BeeriNRST87 +, DBLP:conf/jcdkb/BeeriNT88 +, DBLP:journals/tcs/BunemanJO91 +, DBLP:journals/iandc/Cardelli88 +, DBLP:conf/slp/ChenKW89 +, DBLP:conf/pods/ChenW89 +, DBLP:journals/cacm/Codd70 +, On Inheritance Hierarchies With Exceptions +, DBLP:journals/cacm/FikesK85 +, DBLP:conf/oopsla/KhoshafianC86 +, DBLP:conf/pods/KiferW89 +, Towards a Real Horn Clause Language +, DBLP:conf/pods/KuperV84 +, DBLP:conf/icdt/LecluseR88 +, O2, an Object-Oriented Data Model +, DBLP:books/sp/Lloyd87 +, DBLP:conf/oopsla/MaierSOP86 +, Incorporating Computed Relations in Relational Databases +, DBLP:journals/tois/Motro86 +, DBLP:journals/sigmod/BernsteinDDGGJLLMNRRSSSS89 +, DBLP:journals/jsc/SmolkaA89 +, A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems +
Has identifier
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme +
Categories Proceeding Paper +
|