An extension of conflict-free multivalued dependency sets
ACM Transactions on Database Systems (TODS)
The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
SYSTEM/U: a database system based on the universal relation assumption
ACM Transactions on Database Systems (TODS)
On the optimal nesting order for computing N-relational joins
ACM Transactions on Database Systems (TODS)
Incomplete Information in Relational Databases
Journal of the ACM (JACM)
Journal of the ACM (JACM)
On compiling queries in recursive first-order databases
Journal of the ACM (JACM)
Probabilistic Models of Database Locking: Solutions, Computational Algorithms, and Asymptotics
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
Closures of database hypergraphs
Journal of the ACM (JACM)
Axioms for memory access in asynchronous hardware systems
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
On the complexity of join dependencies
ACM Transactions on Database Systems (TODS)
A second course in database management
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
Incomplete information costs and database design
ACM Transactions on Database Systems (TODS)
Computation-tuple sequences and object histories
ACM Transactions on Database Systems (TODS)
Elimination of intersection anomalies from database schemes
Journal of the ACM (JACM)
Sort sets in the relational model
Journal of the ACM (JACM)
The performance of a precedence-based queuing discipline
Journal of the ACM (JACM)
On the implementation of a simple class of logic queries for databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Alpha-acyclic decompositions of relational database schemes
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A problem-oriented inferential database system
ACM Transactions on Database Systems (TODS)
Self-assessment procedure XV: a self-assessment procedure dealing with file processing
Communications of the ACM
The design of a relational database system with abstract data types for domains
ACM Transactions on Database Systems (TODS)
The performance of multiversion concurrency control algorithms
ACM Transactions on Computer Systems (TOCS)
The Escrow transactional method
ACM Transactions on Database Systems (TODS)
A logical design methodology for relational databases using the extended entity-relationship model
ACM Computing Surveys (CSUR)
Dynamic functional dependencies and database aging
Journal of the ACM (JACM)
SEAVE: a mechanism for verifying user presuppositions in query systems
ACM Transactions on Information Systems (TOIS)
Towards a universal directory service
ACM SIGOPS Operating Systems Review
Approximating sets with equivalence relations
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
A new normal form for nested relations
ACM Transactions on Database Systems (TODS)
OMEGA: A database management system for academic use
ACM SIGCSE Bulletin
Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Negation as failure for first-order queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
One flavor assumption and gamma-acyclicity for universal relation views
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
The equivalence of solving queries and producing tree projections (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Unifying functional and multivalued dependencies for relational database design
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
On the integrity of databases with incomplete information
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Parallel evaluation of recursive rule queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Sagiv,Y-On finite FD-acyclicity
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A formal view integration method
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Equational theories and database constraints
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Automating the design of graphical presentations of relational information
ACM Transactions on Graphics (TOG)
The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
Answering queries on embedded-complete database schemes
Journal of the ACM (JACM)
Experiences in using Ada with DBMS applications
ACM SIGAda Ada Letters
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
The overhead of locking (and commit) protocols in distributed databases
ACM Transactions on Database Systems (TODS)
Logical design of relational database schemes
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Dynamic query interpretation in relational databases
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relative knowledge in a distributed database
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Bounds on the propagation of selection into logic programs
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Axiomatization and simplification rules for relational transactions
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A translation language complete for database update and specification
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Worst-case complexity analysis of methods for logic query implementation
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Safety and correct translation of relational calculus formulas
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A theory of intersection anomalies in relational database schemes
Journal of the ACM (JACM)
Query generation in an instructional database management system
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Advanced placement-plus in computer science: a summer institute at the University of Tulsa
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Inference rules for multivalued dependencies
ACM SIGCSE Bulletin
On the representation and querying of sets of possible worlds
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
The design of ¬ 1NF relational databases into nested normal form
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A system for semantic query optimization
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Efficiently supporting procedures in relational database systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Relations as semantic constructs in an object-oriented language
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A relational model for unstructured documents
SIGIR '87 Proceedings of the 10th annual international ACM SIGIR conference on Research and development in information retrieval
An approach to image retrieval from large image databases
SIGIR '87 Proceedings of the 10th annual international ACM SIGIR conference on Research and development in information retrieval
An extension to the relational model for indefinite databases
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
The future of heterogeneous databases
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
ACM Transactions on Database Systems (TODS)
A dynamic framework for object projection views
ACM Transactions on Database Systems (TODS)
Equivalence and optimization of relational transactions
Journal of the ACM (JACM)
A relational approach to monitoring complex systems
ACM Transactions on Computer Systems (TOCS)
Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems
ACM Transactions on Database Systems (TODS)
Database concurrency control using data flow graphs
ACM Transactions on Database Systems (TODS)
A model-based approach to updating databases with incomplete information
ACM Transactions on Database Systems (TODS)
New methods and fast algorithms for database normalization
ACM Transactions on Database Systems (TODS)
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Market automation: self-regulation in a distributed environment
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
VAGUE: a user interface to relational databases that permits vague queries
ACM Transactions on Information Systems (TOIS)
Extended algebra and calculus for nested relational databases
ACM Transactions on Database Systems (TODS)
Update and retrieval in a relational database through a universal schema interface
ACM Transactions on Database Systems (TODS)
Hierarchical representations of collections of small rectangles
ACM Computing Surveys (CSUR)
A homogeneous relational model and query languages for temporal databases
ACM Transactions on Database Systems (TODS)
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries
IEEE Transactions on Software Engineering
SYGRAF: Implementing Logic Programs in a Database Style
IEEE Transactions on Software Engineering
Providing Quality Responses with Natural Language Interfaces: The Null Value Problem
IEEE Transactions on Software Engineering
An intelligent tutor for normal form determination
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
INC: a language for incremental computations
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Software Prototyping by Relational Techniques: Experiences with Program Construction Systems
IEEE Transactions on Software Engineering
Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries
IEEE Transactions on Software Engineering
Models of a very large distributed database
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Rule management for heterogeneous knowledge-based systems
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Heuristics for Join Processing Using Nonclustered Indexes
IEEE Transactions on Software Engineering
Optimizing Joins in Fragmented Database Systems on a Broadcast Local Network
IEEE Transactions on Software Engineering
A common schema for dynamic programming and branch and bound algorithms
Journal of the ACM (JACM)
On the translation of relational queries into iterative programs
ACM Transactions on Database Systems (TODS)
Further results on the security of partitioned dynamic statistical databases
ACM Transactions on Database Systems (TODS)
A parallel multiprocessor machine dedicated to relational and deductive data bases
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
A user interface for database creation use and maintenance
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
Conceptual documents: a mechanism for specifying active views in hypertext
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
Parallelizing a database programming language
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
A robust protocol for parallel join operation in distributed data bases
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Time-by-Example Query Language for Historical Databases
IEEE Transactions on Software Engineering
NFQL: the natural forms query language
ACM Transactions on Database Systems (TODS)
The Computational Completeness of Extended Database Query Languages
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Modeling and simulation of LAN DBMS performance
ACM SIGSIM Simulation Digest
On the correctness of representing extended entity-relationship structures in the relational model
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
ACM Transactions on Database Systems (TODS)
Partition Strategy for Distributed Query Processing in Fast Local Networks
IEEE Transactions on Software Engineering
An experimental analysis of the performance of fourth generation tools on PCs
Communications of the ACM
Operations on sets of intervals - an exercise for data structures or algorithms
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Models for the Combined Logical and Physical Design of Databases
IEEE Transactions on Computers
Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Horn tables-an efficient tool for handling incomplete information in databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Updating databases in the weak instance model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Practical algorithms for finding prime attributes and testing normal forms
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An example of formal specification as an aid to design and development
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
G-base fourth normal form in relational database
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
An approach for integration of data processing in a distributed enviornment
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A Relational Calculus with Set Operators, Its Safety, and Equivalent Graphical Languages
IEEE Transactions on Software Engineering
Linearization of Nonlinear Recursive Rules
IEEE Transactions on Software Engineering
A transaction-based approach to relational database specification
Journal of the ACM (JACM)
Integrity = validity + completeness
ACM Transactions on Database Systems (TODS)
Query processing techniques in the summary-table-by-example database query language
ACM Transactions on Database Systems (TODS)
Indefinite and maybe information in relational databases
ACM Transactions on Database Systems (TODS)
Query optimization in a memory-resident domain relational calculus database system
ACM Transactions on Database Systems (TODS)
Automated Test Case Generation for Programs Specified by Relational Algebra Queries
IEEE Transactions on Software Engineering
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
Explaining ambiguity in a formal query language
ACM Transactions on Database Systems (TODS)
The five color concurrency control protocol: non-two-phase locking in general databases
ACM Transactions on Database Systems (TODS)
On the equivalence of an Egd to a set of Fd's
Journal of the ACM (JACM)
Communications of the ACM
On compile-time query optimization in deductive databases by means of static filtering
ACM Transactions on Database Systems (TODS)
Polynomial time designs toward both BCNF and efficient data manipulation
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
A transient hypergraph-based model for data access
ACM Transactions on Information Systems (TOIS)
Data characterization for intelligent graphics presentation
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Extension of the relational database semantic processing model
IBM Systems Journal
Randomized algorithms for optimizing large join queries
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Expert DB: an assistant database design system
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
ACM Transactions on Database Systems (TODS)
Identifying Extended Entity-Relationship Object Structures in Relational Schemas
IEEE Transactions on Software Engineering
Queries and query processing in object-oriented database systems
ACM Transactions on Information Systems (TOIS)
Optimal sample cost residues for differential database batch query problems
Journal of the ACM (JACM)
INC: a language for incremental computations
ACM Transactions on Programming Languages and Systems (TOPLAS)
The complexity of operations on a fragmented relation
ACM Transactions on Database Systems (TODS)
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
ANNA '91 Proceedings of the conference on Analysis of neural network applications
A team-oriented, project-intensive database course
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Simplification rules and complete axiomatization for relational update transactions
ACM Transactions on Database Systems (TODS)
An incremental access method for ViewCache: concept, algorithms, and cost analysis
ACM Transactions on Database Systems (TODS)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constant-time-maintainable BCNF database schemes
ACM Transactions on Database Systems (TODS)
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Abstraction in query processing
Journal of the ACM (JACM)
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Visual interpretation of multidimensional computations and transistor design
IBM Journal of Research and Development
Minimal covers revisited: correct and efficient algorithms
ACM SIGMOD Record
Using CS2 projects to introduce computer science concepts
ACM SIGCSE Bulletin
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
Converting nested algebra expressions into flat algebra expressions
ACM Transactions on Database Systems (TODS)
Constant-time maintainability: a generalization of independence
ACM Transactions on Database Systems (TODS)
On Roth, Korth, and Silberschatz's extended algebra and calculus for nested relational databases
ACM Transactions on Database Systems (TODS)
Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language
IEEE Transactions on Software Engineering
Designing database interfaces with DBface
ACM Transactions on Information Systems (TOIS)
Functional and predictive programming in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
BIBDB: a bibliographic database for collaboration
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
A model of integrity for object-oriented database systems
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
On the construction of efficient match networks
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Intelligent database caching through the use of page-answers and page-traces
ACM Transactions on Database Systems (TODS)
Syntactical characterization of a subset of domain-independent formulas
Journal of the ACM (JACM)
Multiple join size estimation by virtual domains (extended abstract)
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
A universal-scheme approach to statistical databases containing homogeneous summary tables
ACM Transactions on Database Systems (TODS)
A new approach to modeling office documents
ACM SIGOIS Bulletin - Special issue: “Do users get what they want?” (DUG'93)
On the expressive power of query languages
ACM Transactions on Information Systems (TOIS)
ACM SIGMOD Record
A mathematical framework to implement statistical databases
ACM SIGSAC Review
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Database querying and constraint programming
ACM SIGACT News
Database metatheory: asking the big queries
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint programming and database languages: a tutorial
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finite queries do not have effective syntax
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reduced MVDs and minimal covers
ACM Transactions on Database Systems (TODS)
An integrated approach to logical design of relational database schemes
ACM Transactions on Database Systems (TODS)
Schedulers as abstract interpretations of higher-dimensional automata
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Hypergraph based reorderings of outer join queries with complex predicates
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Enhanced dynamic queries via movable filters
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Accessing information from globally distributed knowledge repositories (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Designing object-oriented synchronous groupware with COAST
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Outerjoin simplification and reordering for query optimization
ACM Transactions on Database Systems (TODS)
Integrating information requirements along processes: a survey and research directions
ACM SIGSOFT Software Engineering Notes
Adaptive Join Algorithms in Dynamic Distributed Databases
Distributed and Parallel Databases
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Uniform quantifier elimination and constraint query processing
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Query-based debugging of object-oriented programs
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On the decidability and axiomatization of query finiteness in deductive databases
Journal of the ACM (JACM)
Flexible list management in a directory
Proceedings of the seventh international conference on Information and knowledge management
Structured hypertext with domain semantics
ACM Transactions on Information Systems (TOIS)
Journal of the ACM (JACM)
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning about nested functional dependencies
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
ANSS '91 Proceedings of the 24th annual symposium on Simulation
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
A database management approach to CAD/CAM systems integration
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Database states and their tableaux
ACM Transactions on Database Systems (TODS)
On the foundations of the universal relation model
ACM Transactions on Database Systems (TODS)
CACTIS: a database system for specifying functionally-defined data
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
The architecture of the EXODUS extensible DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
An object server for an object-oriented database system
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
A language and a physical organization technique for summary tables
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
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
A high-level user interface for update and retrieval in relational databases—language aspects
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Efficient parallel algorithms for functional dependency manipulations
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
Consequences of assuming a universal relation
ACM Transactions on Database Systems (TODS)
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
A simplied universal relation assumption and its properties
ACM Transactions on Database Systems (TODS)
Determining View dependencies using tableaux
ACM Transactions on Database Systems (TODS)
Deadlock freedom using edge locks
ACM Transactions on Database Systems (TODS)
Maximal objects and the semantics of universal relation databases
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
On the complexity of designing optimal partial-match retrieval systems
ACM Transactions on Database Systems (TODS)
Correctness of query execution strategies in distributed databases
ACM Transactions on Database Systems (TODS)
A foundation of CODD's relational maybe-operations
ACM Transactions on Database Systems (TODS)
On Kent's “Consequences of assuming a universal relation” (Technical correspondance)
ACM Transactions on Database Systems (TODS)
The universal relation revisited (technical correspondence)
ACM Transactions on Database Systems (TODS)
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
Journal of the ACM (JACM)
A mathematical schema for the entity-relationship data model
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
A database management system project for an undergraduate database design course
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
An overview of the multidatabase system MRDSM
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
A batch-oriented network database management system
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Minimum Covers in Relational Database Model
Journal of the ACM (JACM)
Properties of functional-dependency families
Journal of the ACM (JACM)
A Theory of Safe Locking Policies in Database Systems
Journal of the ACM (JACM)
On the family of generalized dependency constraints
Journal of the ACM (JACM)
A theorem in database concurrency control
Journal of the ACM (JACM)
Analysis of the Search Performance of Coalesced Hashing
Journal of the ACM (JACM)
Graph Algorithms for Functional Dependency Manipulation
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Incomplete information and the relational model of data
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
U2RS: an upgradable universal relation system
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Fault tolerance in deductive knowledge bases
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A pegging method for decomposing relations in databases
CSC '87 Proceedings of the 15th annual conference on Computer Science
Grammatical relational database model (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
Extending the scope of the program library
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Frame caching in menu-driven Videotex systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
MAYBE algebra operators in database machine architecture
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Statically Safe Speculative Execution for Real-Time Systems
IEEE Transactions on Software Engineering
On optimizing summary-table-by-example queries
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Optimization of relational algebra expressions containing recursion operators
CSC '91 Proceedings of the 19th annual conference on Computer Science
A heuristic algorithm for partition strategy in distributed query processing
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
An approach to integration of Web information source search and Web information retrieval
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Issues in implementing a real time embedded Data Base Management System in Ada
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
The statistical security of a statistical database
ACM Transactions on Database Systems (TODS)
Data management and model management: a relational synthesis
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
Programming primitives for database languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the expressive power of query languages for relational databases
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functional dependencies on cyclic database schemes
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
Incomplete information and dependencies in relational databases
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
Designing globally consistent network schemas
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
Relational queries in a domain based DBMS
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
On the space requirements of navigational relationship representations
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
A systematic approach to relational database theory
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
A technique for translating states between database schemata
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Applying approximate order dependency to reduce indexing space
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Access paths in the "Abe" statistical query facility
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
On the recognition and design of acyclic databases
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Dependency characterizations for acyclic database schemes
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Properties of database schemata with functional dependencies
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
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
On the cyclic to acyclic scheme transformation and solving cyclic queries
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
On the decomposition of join dependencies
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
Non first normal form relations to represent hierarchically organized data
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
On relational algebra with marked nulls preliminary version
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
The temporal query language TQuel
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Object projection views in the dynamic relational model
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Towards a theory of online schedulers
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
On the recognition of coverings of acyclic database hypergraphs
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Inverting relational expressions: a uniform and natural technique for various database problems
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Sort sets in the relational model
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Elimination of intersection amomalies from database schemes
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Dynamic constraints and database evolution
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Database relations with null values
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Compatible attributes in a universal relation
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Is distributed locking harder?
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Non-reversible privacy transformations
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
The canonical activities of reverse engineering
Annals of Software Engineering
On Normalization of Relations in Relational Databases
Programming and Computing Software
On complementary and independent mappings on databases
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Efficient processing of relational calculus expressions using range query theory
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
An implementation of GEM: supporting a semantic data model on a relational back-end.
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Discovering interesting inclusion dependencies: application to logical database tuning
Information Systems - Databases: Creation, management and utilization
Using differential techniques to efficiently support transaction time
The VLDB Journal — The International Journal on Very Large Data Bases
Query languages for relational multidatabases
The VLDB Journal — The International Journal on Very Large Data Bases
A pattern-based object calculus
The VLDB Journal — The International Journal on Very Large Data Bases
The power of languages for the manipulation of complex values
The VLDB Journal — The International Journal on Very Large Data Bases
Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Design and Implementation of a Semantic Query Optimizer
IEEE Transactions on Knowledge and Data Engineering
Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization
IEEE Transactions on Knowledge and Data Engineering
The Group Paradigm for Concurrency Control Protocols
IEEE Transactions on Knowledge and Data Engineering
Moving Selections into Linear Least Fixpoint Queries
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Design of LDV: A Multilevel Secure Relational Database Management
IEEE Transactions on Knowledge and Data Engineering
Extensions to SQL for Historical Databases
IEEE Transactions on Knowledge and Data Engineering
The Organization and Performance of a TREAT-Based Production System Compiler
IEEE Transactions on Knowledge and Data Engineering
Incremental Implementation Model for Relational Databases with Transaction Time
IEEE Transactions on Knowledge and Data Engineering
Controlling FD and MVD Inferences in Multilevel Relational Database Systems
IEEE Transactions on Knowledge and Data Engineering
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
A Combined Method for Maintaining Large Indices in Multiprocessor Multidisk Environments
IEEE Transactions on Knowledge and Data Engineering
RAPS: A Rule-Based Language for Specifying Resource Allocation and Time-Tabling Problems
IEEE Transactions on Knowledge and Data Engineering
An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Efficient Query Processing for a Subset of Linear Recursive Binary Rules
IEEE Transactions on Knowledge and Data Engineering
A Theory of Translation From Relational Queries to Hierarchical Queries
IEEE Transactions on Knowledge and Data Engineering
Concurrency Control in Database Systems
IEEE Transactions on Knowledge and Data Engineering
Application-Dependent Dynamic Monitoring of Distributed and Parallel Systems
IEEE Transactions on Parallel and Distributed Systems
A Group-Select Operation for Relational Algebra and Implications for Database Machine Design
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A Query Algebra for Program Databases
IEEE Transactions on Software Engineering
Framework for the development of an experimental mixed-mode message system
SIGIR '84 Proceedings of the 7th annual international ACM SIGIR conference on Research and development in information retrieval
ENIGMA: A System That Learns Diagnostic Knowledge
IEEE Transactions on Knowledge and Data Engineering
Fuzzy Database Query Languages and Their Relational Completeness Theorem
IEEE Transactions on Knowledge and Data Engineering
Evaluation and Optimization of Query Programs in an Object-Oriented and Symbolic Information System
IEEE Transactions on Knowledge and Data Engineering
Systems for Knowledge Discovery in Databases
IEEE Transactions on Knowledge and Data Engineering
From Data Properties to Evidence
IEEE Transactions on Knowledge and Data Engineering
Data Reduction Based on Spatial Partitioning
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
Operations and the Properties on Non-First-Normal-Form Relational Databases
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
The REMIT System for Paraphrasing Relational Query Expressions into Natural Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
A Methodology for the Design and Transformation of Conceptual Schemas
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Reflections on Boyce-Codd Normal Form
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Perception-Based Granularity Levels in Concept Representation
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Multiplex: A Formal Model for Multidatabases and Its Implementation
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Designing Good Semi-Structured Databases and Conceptual Modeling
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
On the Expressive Power of OCL
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Completing Missing Values Using Discovered Formal Concepts
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
The VLDB Journal — The International Journal on Very Large Data Bases
SIGDOC '84 Proceedings of the 3rd annual international conference on Systems documentation
Integration of solid modeling and data base management for CAD/CAM
DAC '83 Proceedings of the 20th Design Automation Conference
Tutorial: The relational data model for Design Automation
DAC '83 Proceedings of the 20th Design Automation Conference
DAC '84 Proceedings of the 21st Design Automation Conference
Installation of a commercial database management system in a university environment
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
An extension of relational database model to probabilistic data
APL '84 Proceedings of the international conference on APL
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Teaching relational database concepts in a university environment
SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The relational/network Hybrid data model for Design Automation Databases
DAC '81 Proceedings of the 18th Design Automation Conference
A high-level functional query language for a small relational system
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
PEIRCE: A relational DBMS for small systems
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
Embedded implicational dependencies and their inference problem
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Properties of acyclic database schemes
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Issues of correctness in database concurrency control by locking
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
A complete axiomatization for a large class of dependencies in relational datatbases
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Edge locks and deadlock avoidance in distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Design issues in distributed multidatabase systems
SAC '86 Proceedings of the 1986 workshop on Applied computing
Monitoring in a software development environment: A relational approach
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Query transformation in an instructional database management system
SIGSCE '84 Proceedings of the fifteenth SIGCSE technical symposium on Computer science education
A language for a scientific and engineering database system
DAC '82 Proceedings of the 19th Design Automation Conference
Application generators: Ideas for programming language extensions
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Decomposition of a relation scheme into Boyce-Codd Normal Form
ACM '80 Proceedings of the ACM 1980 annual conference
Investigation of some hardware accelerators for relational algebra operations
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
View Programming for Decentralized Development of OO Programs
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
A general framework for reasoning about change
New Generation Computing
Generation of Java Beans to Access XML Data
WISE '00 Proceedings of the First International Conference on Web Information Systems Engineering (WISE'00)-Volume 2 - Volume 2
Privacy in multidimensional databases
Multidimensional databases
Reasoning about Uniqueness Constraints in Object Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Knowledge management through end user developed expert systems: potential and limitations
Advanced topics in end user computing
Advanced topics in end user computing
Classifying approaches to semantic heterogeneity in multidatabase systems
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Querying fuzzy multidimensional databases: unary operators and their properties
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Intelligent information systems
The computational complexity of the correct-prefix property for TAGs
Computational Linguistics
Denormalization and cross referencing in theoretical lexicography
ACL '84 Proceedings of the 10th International Conference on Computational Linguistics and 22nd annual meeting on Association for Computational Linguistics
Menu-based natural language understanding
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Horizontal decompositions and their impact on query solving
ACM SIGMOD Record
Relational data bases in the design of program construction systems
ACM SIGPLAN Notices
ACM SIGCSE Bulletin
A method for introducing schemas
ACM SIGCSE Bulletin
A metric for computational analysis of meaning: toward an applied theory of linguistic semantics
COLING '86 Proceedings of the 11th coference on Computational linguistics
TQL: a query language for semistructured data based on the ambient logic
Mathematical Structures in Computer Science
Relational data bases in the design of program construction systems
ACM SIGSOFT Software Engineering Notes
Use of data abstraction in process specification
ACM SIGSOFT Software Engineering Notes
Design of a document filing and retrieval system
ACM SIGMIS Database - Database techniques and models for the office environment: selected papers from the Database Week Conference
A framework of reference for database design
ACM SIGMIS Database
Recovery of PTUIE Handling from Source Codes through Recognizing Its Probable Properties
IEEE Transactions on Knowledge and Data Engineering
Improving quality in conceptual modeling
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A multilevel design architecture for decision support systems
ACM SIGMIS Database
Bounded similarity querying for time-series data
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Storing and querying XML data using denormalized relational databases
The VLDB Journal — The International Journal on Very Large Data Bases
Book reivew: Advanced Database Techniques by Daniel Martin (MIT Press 1986)
ACM SIGART Bulletin
Security analysis of cryptographically controlled access to XML documents
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
Transaction Support Using Unit of Work Modeling in the Context of MDA
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Rule/based statistical calculations on a "Database abstract"
SSDBM'81 Proceedings of the 1st LBL Workshop on Statistical database management
A reservoir water quality database management system
SSDBM'81 Proceedings of the 1st LBL Workshop on Statistical database management
System/K: a knowledge base management system
SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management
A security model for the statistical database problem
SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management
Statistical databases: their model, query language and security
SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management
Using statistical software with a database management data theory
SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management
Computerized clinical system(APDSED)
Technology and Health Care - Special issue: MedNet 2005 - New tasks in internet use in health care
ACM Transactions on Database Systems (TODS)
An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries
Fundamenta Informaticae
An introduction to functional independency in relational database normalization
ACM-SE 45 Proceedings of the 45th annual southeast regional conference
Algorithms for acyclic database schemes
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Join graphs and acyclic database schemes
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
A theory of correct locking protocols for database systems
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Deferring updates in a relational data base system
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
On representing incomplete information in a relational data base
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Non-two-phase locking protocols with shared and exclusive locks
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Translation structures of relational views
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
An analytical approach to the inference of summary data of additive type
Theoretical Computer Science
Synthesis of parallel recursive programs in structural functional models
Programming and Computing Software
An Integrated Instrumentation Environment for Multiprocessors
IEEE Transactions on Computers
Separability An Approach to Physical Database Design
IEEE Transactions on Computers
Using advanced transaction and workflow models in composing web services
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Distributed real time database systems: background and literature review
Distributed and Parallel Databases
Security analysis of cryptographically controlled access to XML documents
Journal of the ACM (JACM)
Database theory and cylindric lattices
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Enabling policy-based access control in BI applications
Data & Knowledge Engineering
Enriching the class diagram concepts to capture natural language semantics for database access
Data & Knowledge Engineering
Need to Know: Questions and the Paradox of Epistemic Obligation
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Propagating functional dependencies with conditions
Proceedings of the VLDB Endowment
Graceful database schema evolution: the PRISM workbench
Proceedings of the VLDB Endowment
Exploiting a database system in scheduling internet-based workflows
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
REQUEST: a testbed relational database management system for instructional and research purposes
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Sibyl: a relational database system with remote-access capabilities
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Database-oriented decision support systems
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Data language requirements of database machines
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Blocking reduction for distributed transaction processing within MANETs
Distributed and Parallel Databases
Linear connectivity problems in directed hypergraphs
Theoretical Computer Science
Implementation considerations for improving data integrity in normalized relational databases
Proceedings of the 47th Annual Southeast Regional Conference
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference
Journal of Artificial Intelligence Research
When functional and bijective constraints make a CSP polynomial
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A logical approach to reasoning by analogy
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Algebra of Ontology Modules for Semantic Agents
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Equivalence and transformation of extended algebraic operators in fuzzy relational databases
Fuzzy Sets and Systems
Bounded similarity querying for time-series data
Information and Computation
Using timestamp ordering in synchronizing Internet-based workflows
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
IBM Journal of Research and Development
Attaching transactional requirements to business process specifications
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Transactional agents: towards a robust multi-agent system
Transactional agents: towards a robust multi-agent system
A new and useful syntactic restriction on rule semantics for tabular datasets
ICFCA'07 Proceedings of the 5th international conference on Formal concept analysis
Memory organization schemes for large shared data
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
A formal context for symmetric dependencies
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
TREAT: a better match algorithm for AI production systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
S.E.A.L.: a query language for entity-association queries
ADC '09 Proceedings of the Twentieth Australasian Conference on Australasian Database - Volume 92
TREAT: a better match algorithm for AI production systems
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Views as the security objects in a multilevel secure relational database management system
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Programming from galois connections
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Constraint-based melody representation
CMMR'04 Proceedings of the Second international conference on Computer Music Modeling and Retrieval
Simplified integration of Prolog with RDBMS
ACM SIGMIS Database
Functions in information systems
ACM SIGMIS Database
Complexity of linear connectivity problems in directed hypergraphs
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
Ontology management in an event-triggered knowledge network
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Conceptual Modelling and Its Theoretical Foundations
An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries
Fundamenta Informaticae
AN ALGEBRAIC FORMALIZATION OF THE RELATIONSHIP BETWEEN EVIDENTIAL STRUCTURES AND DATA TABLES
Fundamenta Informaticae
On The Family Of Conditional Implicational Dependencies
Fundamenta Informaticae
Automating the database schema evolution process
The VLDB Journal — The International Journal on Very Large Data Bases
E-R Approach to Distributed Heterogeneous Database Systems for Integrated Manufacturing
Information Resources Management Journal
An extended synthesis algorithm for relational database schema design
Proceedings of the 2013 International Conference on Information Systems and Design of Communication
Modelling relational statistics with Bayes Nets
Machine Learning
| Hi-index | 0.07 |