Second-Order Signature: A Tool for Specifying Data Models (1993)

by Ralf Hartmut Güting
Venue:Query Processing, and Optimization. Proc. ACM SIGMOD Conf
Citations:35 - 25 self

Active Bibliography

6 The GraphDB Algebra: Specification of Advanced Data Models with SecondOrder Signature – Ludger Becker, Ralf Hartmut Güting, Praktische Informatik Iv, Fernuniversität Hagen - 1995
692 Query evaluation techniques for large databases – Goetz Graefe - 1993
824 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
186 An Introduction to Spatial Database Systems – Ralf Hartmut Güting - 1994
607 Multidimensional Access Methods – Volker Gaede, Oliver Günther - 1998
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
985 A theory of type polymorphism in programming – Robin Milner - 1978
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992