1
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... -- Description Logics and Their Relationships with Databases -- Query Languages -- An Equational Chase for Path...

2
Published 1988
Springer Berlin Heidelberg
Table of Contents: ... of the Poly Programming Language -- 5. Functional Databases, Functional Languages -- 6. A New Type-Checker...