Information Systems · 1995 · 49 citations · 25 references
ComputingComputer ScienceComputer SystemsData ManagementDatabasesKnowledge RepresentationDatabase DesignDatabase ManagementDeductive ReasoningDeductive SystemsObject-oriented DesignQuery ProcessingDeductive DatabasesObjects
25
The Semantics of Predicate Logic as a Programming Language
M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text
Humanities, Computer Science, Logic +16
Logical foundations of object-oriented and frame-based languages
Michael Kifer, Georg Lausen, James C. Wu · Journal of the ACM · 1995 · 1.5K citations · Full text
Computing, Computer Science, Logic +14
Object identity as a query language primitive
Serge Abiteboul, Paris C. Kanellakis · ACM SIGMOD Record · 1989 · 363 citations · Full text