Catriel Beeri;Tova Milo
-;-
A formal model for temporal schema versioning in object-oriented databases
Data & Knowledge Engineering
Polymorphic type inference for the named nested relational calculus
ACM Transactions on Computational Logic (TOCL)