Type inference in a database programming language
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Relating total and partial correctness interpretations of non-deterministic programs
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantic representations and query languages for or-sets
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantics for null extended nested relations
ACM Transactions on Database Systems (TODS)
Interpreting a reconstructed relational calculus (extended abstract)
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Regular Article: The nested universal relation data model
Proceedings of the 30th IEEE symposium on Foundations of computer science
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
A polymorphic record calculus and its compilation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Normalizing incomplete databases
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
Deciding containment for queries with complex objects (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A semantics for complex objects and approximate queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An extension of the relational data model to incorporate ordered domains
ACM Transactions on Database Systems (TODS)
A normal form for XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Information Gaps as Communication Needs: A New SemanticFoundation for Some Non-Classical Logics
Journal of Logic, Language and Information
An Algebraic Approach to Knowledge Representation
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
A Multi-Resolution Relational Data Model
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Knowledge Representation in Extended Pawlak's Information Systems: Algebraic Aspects
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Using an Ordered Key Attribute in Database Design
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Preserving relationship cardinality constraints in relational schemata
Database integrity
Dealing with relationship cardinality constraints in relational database design
Effective databases for text & document management
Re-grouping information in a domain-theoretic data model
Mathematical Structures in Computer Science
A normal form for XML documents
ACM Transactions on Database Systems (TODS)
Data exchange and incomplete information
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Containment of nested XML queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
An extension of SQL to support ordered domains in relational databases
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Data cleaning and query answering with matching dependencies and matching functions
Proceedings of the 14th International Conference on Database Theory
ACM Transactions on Database Systems (TODS)
Incomplete information and certain answers in general data models
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
From Dissemilattices to Snack Algebras
Fundamenta Informaticae
When is naive evaluation possible?
Proceedings of the 32nd symposium on Principles of database systems
| Hi-index | 5.24 |