The expressive power structured values in pure OODB's (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
New data models and languages—the challenge
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Structure and semantics in OODB class specifications
ACM SIGMOD Record
MORE: Multimedia Object Retrieval Environment
HYPERTEXT '93 Proceedings of the fifth ACM conference on Hypertext
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 30th IEEE symposium on Foundations of computer science
A visual retrieval environment for hypermedia information systems
ACM Transactions on Information Systems (TOIS)
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
An equational object-oriented data model and its data-parallel query language
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On the completeness of object-creating database transformation languages
Journal of the ACM (JACM)
Object identity as a query language primitive
Journal of the ACM (JACM)
An efficient method for checking object-oriented database schema correctness
ACM Transactions on Database Systems (TODS)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
G-Log: A Graph-Based Query Language
IEEE Transactions on Knowledge and Data Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Typing Graph-Manipulation Operations
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Object-Oriented Database as a Dynamic System with Implicit State
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
OLOG: A Deductive Object Database Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Graphical interaction with heterogeneous databases
The VLDB Journal — The International Journal on Very Large Data Bases
Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries
ACM Transactions on Information Systems (TOIS)
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Multi-valued dependencies in the presence of lists
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Functional and multivalued dependencies in nested databases generated by record and list constructor
Annals of Mathematics and Artificial Intelligence
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
A multi-level architecture for distributed object bases
Data & Knowledge Engineering
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
Content based similarity of geographic classes organized as partition hierarchies
Knowledge and Information Systems
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
Reifying concepts in description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
The Implication Problem of Functional Dependencies in Complex-value Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
On formalization of object model by unifying intensional and extensional representations
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Null values in relational databases and sure information answers
Proceedings of the 2nd international conference on Semantics in databases
Hi-index | 0.00 |