- Catriel Beeri and Michael Kifer. Elimination of intersection
anomalies from database schemes. Journal of the ACM,
33(3):423-450, July 1986.
- Catriel Beeri and Michael Kifer. A theory of intersection anomalies
in relational database schemes. Journal of the ACM,
34(3):544-577, July 1987.
- Michael Kifer, Georg Lausen, and James Wu. Logical foundations of
object-oriented and frame-based languages. Journal of the
ACM, 42(4):741-843, July 1995.
Abstract,
References,
Citations,
etc.
Shortcuts: