The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
The relational model with relation-valued attributes
Information Systems
Negation in knowledge base management systems
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Non first normal form relations: An algebra allowing data restructuring
Journal of Computer and System Sciences
A calculus for complex objects
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Positivism vs minimalism in deductive databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Negation as failure using tight derivations for general logic programs
Foundations of deductive databases and logic programming
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Untyped sets, invention, and computable queries
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
VERSO: a database machine based on nested relations
Nested relations and complex objects in databases
On the expressive power of logic programming languages with sets
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Object-oriented database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Procedural and declarative database update languages
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM)
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
A new approach to database logic
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Remarks on the algebra of non first normal form relations
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
COL: A Logic-Based Language for Complex Objects
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Extended Algebra and Calculus for ~1NF Relational Databases
Extended Algebra and Calculus for ~1NF Relational Databases
Tractable query languages for complex object databases
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
New hope on data models and types: report of an NSF-INRIA workshop
ACM SIGMOD Record - Directions for future database research & development
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
ACM Transactions on Database Systems (TODS)
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A rule-based framework for role based delegation
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
An introduction to deductive database languages and systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Safe Database Queries with External Functions
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
A rule-based framework for role-based delegation and revocation
ACM Transactions on Information and System Security (TISSEC)
A rule-based framework for role-based constrained delegation
InfoSecu '04 Proceedings of the 3rd international conference on Information security
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Algebraic equivalences of nested relational operators
Information Systems
SEDatalog: a set extension of datalog
Intelligent information processing II
Theory and Practice of Logic Programming
Safety, domain independence and translation of complex value database queries
Information Sciences: an International Journal
Rule based GUI modification and adaptation
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
| Hi-index | 0.00 |
A logic based language for manipulating complex objects constructed using set and tuple constructors is introduced. A key feature of the COL language is the use of base and derived data functions. Under some stratification restrictions, the semantics of programs is given by a minimal and justified model that can be computed using a finite sequence of fixpoints. The language is extended using external functions and predicates. An implementation of COL in a functional language is briefly discussed.