Cover Image
Read Now

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

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