On interpretations of relational languages and solutions to the implied constraint problem
ACM Transactions on Database Systems (TODS)
Formal languages and their relation to automata
Formal languages and their relation to automata
On first-order-logic databases
ACM Transactions on Database Systems (TODS)
Specification and implementation of programs for updating incomplete information databases
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the expressive power of the extended relational algebra for the unnormalized relational model
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
Extended algebra and calculus for nested relational databases
ACM Transactions on Database Systems (TODS)
A user interface for database creation use and maintenance
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
ACM SIGACT News
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
On the power of rule-based languages with sets
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Tractable query languages for complex object databases
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Incomplete object—a data model for design and planning applications
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
ACM Transactions on Database Systems (TODS)
Semantics of query languages for network databases
ACM Transactions on Database Systems (TODS)
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the expressive power of database queries with intermediate types
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
On the expressive power of the logical data model: prelimiary report
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
On interpretations of relational languages and solutions to the implied constraint problem
ACM Transactions on Database Systems (TODS)
A unifying logic-based formalism for semantic data models
CSC '91 Proceedings of the 19th annual conference on Computer Science
CSC '91 Proceedings of the 19th annual conference on Computer Science
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
A new approach to database logic
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Relative information capacity of simple relational database schemata
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Canonical view update support through boolean algebras of components
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Algebraic aspects of relational database decomposition
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
UNIBASE - An Integrated Access to Databases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Query Optimization by Stored Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
Algebraic equivalences of nested relational operators
Information Systems
Hi-index | 0.00 |