Incomplete information costs and database design
ACM Transactions on Database Systems (TODS)
Alpha-acyclic decompositions of relational database schemes
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
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)
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)
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
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
Deciding properties of transactional schemas
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
ACM SIGMOD Record
Constructing queries from tokens
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
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Computing covers for embedded functional dependencies
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Decomposing an N-ary relation into a tree of binary relations
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Formal limits on the automatic generation and maintenance of integrity constraints
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
Inference rules for multivalued dependencies
ACM SIGCSE Bulletin
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
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
Incomplete information and the join operation in database machines
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A dynamic framework for object projection views
ACM Transactions on Database Systems (TODS)
Equivalence and optimization of relational transactions
Journal of the ACM (JACM)
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)
New methods and fast algorithms for database normalization
ACM Transactions on Database Systems (TODS)
VAGUE: a user interface to relational databases that permits vague queries
ACM Transactions on Information Systems (TOIS)
Update and retrieval in a relational database through a universal schema interface
ACM Transactions on Database Systems (TODS)
A homogeneous relational model and query languages for temporal databases
ACM Transactions on Database Systems (TODS)
Partition semantics for incomplete information in relational databases
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A characterization of constant-time maintainability for BCNF database schemes
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
A self-controlling interpreter for the relational production language
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 improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme
IEEE Transactions on Software Engineering
ACM SIGMOD Record
Parallelizing a database programming language
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Integrating relational databases with support for updates
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Efficient optimization of simple chase join expressions
ACM Transactions on Database Systems (TODS)
NFQL: the natural forms query language
ACM Transactions on Database Systems (TODS)
Natural language querying of historical databases
Computational Linguistics
An algebra for structured office documents
ACM Transactions on Information Systems (TOIS)
Functional computations in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incorporating hierarchy in a relational model of data
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A grammar-based approach towards unifying hierarchical data models
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
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
Updating derived relations: detecting irrelevant and autonomously computable updates
ACM Transactions on Database Systems (TODS)
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
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Can constant-time-maintainability be more practical?
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A decision procedure for conjunctive query disjointness
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Integrity = validity + completeness
ACM Transactions on Database Systems (TODS)
View updates in relational databases with an independent scheme
ACM Transactions on Database Systems (TODS)
Towards Banishing the Cut from Prolog
IEEE Transactions on Software Engineering
On the equivalence of an Egd to a set of Fd's
Journal of the ACM (JACM)
On compile-time query optimization in deductive databases by means of static filtering
ACM Transactions on Database Systems (TODS)
A family of incomplete relational database models
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Using integrity constraints to provide intensional answers to relational queries
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Optimization of relational schemas containing inclusion dependencies
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Necessary and sufficient conditions to linearize doubly recursive programs in logic databases
ACM Transactions on Database Systems (TODS)
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
ACM Transactions on Database Systems (TODS)
Incomplete information in object-oriented databases
ACM SIGMOD Record
Yet another note on minimal covers
ACM SIGMOD Record
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
Simplification rules and complete axiomatization for relational update transactions
ACM Transactions on Database Systems (TODS)
An algebraic approach to geometric query processing in CAD/CAM applications
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Constant-time-maintainable BCNF database schemes
ACM Transactions on Database Systems (TODS)
Independence-reducible database schemes
Journal of the ACM (JACM)
Accommodating imprecision in database systems: issues and solutions
ACM SIGMOD Record - Directions for future database research & development
Evaluation of relational algebras incorporating the time dimension in databases
ACM Computing Surveys (CSUR)
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
Join processing in relational databases
ACM Computing Surveys (CSUR)
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
Constant-time maintainability: a generalization of independence
ACM Transactions on Database Systems (TODS)
Representing extended entity-relationship structures in relational databases: a modular approach
ACM Transactions on Database Systems (TODS)
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
Safety and translation of calculus queries with scalar functions
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)
Remarks on two new theorems of Date and Fagin
ACM SIGMOD Record
Statistical inference of unknown attribute values in databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
On completeness of historical relational query languages
ACM Transactions on Database Systems (TODS)
Tools and transformations—rigorous and otherwise—for practical database design
ACM Transactions on Database Systems (TODS)
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Toward a logical/physical theory of spreadsheet modeling
ACM Transactions on Information Systems (TOIS)
Fast algorithms for universal quantification in large databases
ACM Transactions on Database Systems (TODS)
An integrated approach to logical design of relational database schemes
ACM Transactions on Database Systems (TODS)
Parallel execution of integrity constraint checks
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
A normal form for precisely characterizing redundancy in nested relations
ACM Transactions on Database Systems (TODS)
A probabilistic relational model and algebra
ACM Transactions on Database Systems (TODS)
ACM Computing Surveys (CSUR)
Perspectives on database theory
ACM SIGACT News
Decomposition Abstraction in Parallel Rule Languages
IEEE Transactions on Parallel and Distributed Systems
A Parallel Scheme Using the Divide-and-Conquer Method
Distributed and Parallel Databases
An Extended Relational Data Model For Probabilistic Reasoning
Journal of Intelligent Information Systems
Bell and LaPadula axioms: a “new” paradigm for an “old” model
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Hypertree decompositions and tractable queries
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-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
A layered architecture for querying dynamic Web content
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Decomposition of relational schemata into components defined by both projection and restriction
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database design for incomplete relations
ACM Transactions on Database Systems (TODS)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
On the foundations of the universal relation model
ACM Transactions on Database Systems (TODS)
Indexing in an object-oriented DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
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
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
Spot: distance based join indices for spatial data
Proceedings of the 7th ACM international symposium on Advances in geographic information systems
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
Modification operations in data base machines: where are they?
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
MAYBE algebra operators in database machine architecture
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Some relational query language design issues and the language MQL
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Semantic constraints on the connections among tuple components in non-normal-form models
CSC '91 Proceedings of the 19th annual conference on Computer Science
A universal relation language interface for INGRES
CSC '91 Proceedings of the 19th annual conference on Computer Science
Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Conversing with management information systems in a natural language
Communications of the ACM
Location dependent query processing
Proceedings of the 2nd ACM international workshop on Data engineering for wireless and mobile access
The complexity of acyclic conjunctive queries
Journal of the ACM (JACM)
On functional dependencies in q-Horn theories
Artificial Intelligence
Normal forms and syntactic completeness proofs for functional independencies
Theoretical Computer Science
Theoretical Computer Science
The Relational Structure of Belief Networks
Journal of Intelligent Information Systems
CODASYS: a consulting tool for novice database designers
ACM SIGMIS Database
Fixed-parameter complexity in AI and nonmonotonic reasoning
Artificial Intelligence
On the recognition and design of acyclic databases
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
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
Object projection views in the dynamic relational model
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
From Conditional Independences to Factorization Constraints with Discrete Random Variables
Annals of Mathematics and Artificial Intelligence
Machine Learning on the Basis of Formal Concept Analysis
Automation and Remote Control
On Normalization of Relations in Relational Databases
Programming and Computing Software
Relational decomposition through partial functional dependencies
Data & Knowledge Engineering
Searching a minimal semantically-equivalent subset of a set of partial values
The VLDB Journal — The International Journal on Very Large Data Bases
Design and Implementation of a Semantic Query Optimizer
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
FLEX: A Tolerant and Cooperative User Interface to Databases
IEEE Transactions on Knowledge and Data Engineering
Extending SQL with General Transitive Closure and Extreme Value Selections
IEEE Transactions on Knowledge and Data Engineering
Deductive Approximate Reasoning Systems
IEEE Transactions on Knowledge and Data Engineering
Controlling FD and MVD Inferences in Multilevel Relational Database Systems
IEEE Transactions on Knowledge and Data Engineering
Classification and Compilation of Linear Recursive Queries in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
An Algebra for Probabilistic Databases
IEEE Transactions on Knowledge and Data Engineering
A Partition Model Approach to Updating Universal Scheme Interfaces
IEEE Transactions on Knowledge and Data Engineering
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
Integrity Constraints in the Information Source Tracking Method
IEEE Transactions on Knowledge and Data Engineering
Using Constraints for Efficient Query Processing in Nondeterministic Databases
IEEE Transactions on Knowledge and Data Engineering
An Exploration of Relationships Among Exclusive Disjunctive Data
IEEE Transactions on Knowledge and Data Engineering
Information Source Tracking Method: Efficiency Issues
IEEE Transactions on Knowledge and Data Engineering
A Note on "Incomplete Relational Database Models Based on Intervals"
IEEE Transactions on Knowledge and Data Engineering
Handling Discovered Structure in Database Systems
IEEE Transactions on Knowledge and Data Engineering
Evaluating Aggregate Operations Over Imprecise Data
IEEE Transactions on Knowledge and Data Engineering
Justification for Inclusion Dependency Normal Form
IEEE Transactions on Knowledge and Data Engineering
Constructing the Dependency Structure of a Multiagent Probabilistic Network
IEEE Transactions on Knowledge and Data Engineering
A Comparative Study of Various Nested Normal Forms
IEEE Transactions on Knowledge and Data Engineering
Generalized Normal Forms for Probabilistic Relational Data
IEEE Transactions on Knowledge and Data Engineering
Exploring into Programs for the Recovery of Data Dependencies Designed
IEEE Transactions on Knowledge and Data Engineering
A Parallel Algorithm for Relational Database Normalization
IEEE Transactions on Parallel and Distributed Systems
Logic Approaches for Deductive Databases
IEEE Expert: Intelligent Systems and Their Applications
A Relational Algebraic Approach to Protocol Verification
IEEE Transactions on Software Engineering
Views in a large-scale XML repository
The VLDB Journal — The International Journal on Very Large Data Bases
Relational Database Systems with Zero Information Loss
IEEE Transactions on Knowledge and Data Engineering
Fast In-Place Verification of Data Dependencies
IEEE Transactions on Knowledge and Data Engineering
Incomplete Relational Database Models Based on Intervals
IEEE Transactions on Knowledge and Data Engineering
Mefisto: A Functional Model for Statistical Entities
IEEE Transactions on Knowledge and Data Engineering
Data Providers - A Language Experiment
DNIS '00 Proceedings of the International Workshop on Databases in Networked Information Systems
Type Classes with Functional Dependencies
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
On the Orthographic Dimension of Constraint Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Hypertree Decompositions: A Survey
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
A Less Costly Constraints Checking for Join Dependency
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Transactions in Relational Databases (Preliminary Report)
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
UNIBASE - An Integrated Access to Databases
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Specification, Semantics, and Enforcement of Dynamic Database Constraints
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Dependency Satisfaction in Databases with Incomplete Information
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Multiple Query Processing in Deductive Databases using Query Graphs
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Choosing a View Update Translator by Dialog at View Definition Time
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Completeness Information and Its Application to Query Processing
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Supporting Flat Relations by a Nested Relational Kernel
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Independent Database Schemes under Functional and Inclusion Dependencies
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
The Theory of Probabilistic Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Translating and Optimizing SQL Queries Having Aggregates
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Dynamic Derivation of Personalized Views
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Closed World Databases Opened Through Null Values
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
On Restructuring Nested Relations in Partitioned Normal Form
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Referential Integrity Revisited: An Object-Oriented Perspective
VLDB '90 Proceedings of the 16th 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
Safe Referential Structures in Relational Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
A Multi-Resolution Relational Data Model
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Join Indices as a Tool for Spatial Data Mining
TSDM '00 Proceedings of the First International Workshop on Temporal, Spatial, and Spatio-Temporal Data Mining-Revised Papers
Flexible Relations - Operational Support of Variant Relational Structures
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Infinite Relations in Paraconsistent Databases
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
A Semantic Query Optimization Approach to Optimize Linear Datalog Programs
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
On Interactions of Cardinality Constraints, Key, and Functional Dependencies
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Submodule Construction for Specifications with Input Assumptions and Output Guarantees
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Finding Association Rules Using Fast Bit Computation: Machine-Oriented Modeling
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
Triangulation of Bayesian Networks: A Relational Database Perspective
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Generating Concept Hierarchies/Networks: Mining Additional Semantics in Relational Data
PAKDD '01 Proceedings of the 5th Pacific-Asia Conference on Knowledge Discovery and Data Mining
Summarizability in OLAP and Statistical Data Bases
SSDBM '97 Proceedings of the Ninth International Conference on Scientific and Statistical Database Management
Constructing and Maintaining Scientific Database Views in the Framework of the Object-Protocol Model
SSDBM '97 Proceedings of the Ninth International Conference on Scientific and Statistical Database Management
Logic as a Query Language: From Frege to XML
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Designing Good Semi-Structured Databases and Conceptual Modeling
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery
ICGT '02 Proceedings of the First International Conference on Graph Transformation
On Tractable Queries and Constraints
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Query Transformation for PSJ-Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A Comparative Study of Noncontextual and Contextual Dependencies
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Submodule Construction and Supervisory Control: A Generalization
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
A complete temporal relational algebra
The VLDB Journal — The International Journal on Very Large Data Bases
The membership problem for probabilistic and data dependencies
Technologies for constructing intelligent systems
The VLDB Journal — The International Journal on Very Large Data Bases
Discrete Applied Mathematics - Special issue: The 1998 conference on ordinal and symbolic data analysis (OSDA '98)
Data mining using granular computing: fast algorithms for finding association rules
Data mining, rough sets and granular computing
Discovery of Constraints from Data for Information System Reverse Engineering
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Extending the relational database data model for design applications
DAC '84 Proceedings of the 21st Design Automation Conference
Multidimensional normal forms for data warehouse design
Information Systems
Recovery Protocols in Multi-Agent Probabilistic Reasoning Systems
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Fuzzy functional dependencies and Bayesian networks
Journal of Computer Science and Technology
Operators for multidimensional aggregate data
Multidimensional databases
Exploiting uniqueness in query optimization
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Automated elicitation of inclusion dependencies from the source code for database transactions
Journal of Software Maintenance: Research and Practice
Algorithms for analysing related constraint business rules
Data & Knowledge Engineering
International Journal of Human-Computer Studies
Computing unique canonical covers for simple FDs via transitive reduction
Information Processing Letters
Conjunctive queries over trees
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Weighted hypertree decompositions and optimal query plans
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Pseudo-models and propositional Horn inference
Discrete Applied Mathematics - Ordinal and symbolic data analysis (OSDA 2000)
Designing information-preserving mapping schemes for XML
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Query answering exploiting structural properties
ACM SIGMOD Record
Unifying tree decompositions for reasoning in graphical models
Artificial Intelligence
Towards Ontology Generation from Tables
World Wide Web
Statistical versus relational join dependencies
SSDBM'1994 Proceedings of the 7th international conference on Scientific and Statistical Database Management
Auditing sum-queries to make a statistical database secure
ACM Transactions on Information and System Security (TISSEC)
A relational database model of program execution and software components
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Conjunctive queries over trees
Journal of the ACM (JACM)
Generalized domination in closure systems
Discrete Applied Mathematics - Special issue: Discrete mathematics & data mining II (DM & DM II)
Strong types for relational databases
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Minimum implicational basis for ∧-semidistributive lattices
Information Processing Letters
Towards analyzing UML class diagram models to object-relational database systems transformations
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
A method for easing normalization of user views
Journal of Management Information Systems - Special section: The impacts of business process change on organizational performance
Understanding functional dependencies via constraint handling rules
Journal of Functional Programming
Database dependency discovery: a machine learning approach
AI Communications
A constraint solver for model-based engineering
AI Communications
Weighted hypertree decompositions and optimal query plans
Journal of Computer and System Sciences
On utilizing variables for specifying FDs in data-centric XML documents
Data & Knowledge Engineering
Schema versioning in data warehouses: enabling cross-version querying via schema augmentation
Data & Knowledge Engineering - Special issue: WIDM 2004
Domination normal form: decomposing relational database schemas
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Partition search for non-binary constraint satisfaction
Information Sciences: an International Journal
Designing nesting structures of user-defined types in object-relational databases
Information and Software Technology
The case for mesodata: An empirical investigation of an evolving database system
Information and Software Technology
Caching management of mobile DBMS
Integrated Computer-Aided Engineering
Attribute-incremental construction of the canonical implication basis
Annals of Mathematics and Artificial Intelligence
G-WHIZ, a visual interface for the functional model with recursion
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Computing queries from derived relations
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
An analytical approach to the inference of summary data of additive type
Theoretical Computer Science
Maximal prime subgraph decomposition of Bayesian networks: A relational database perspective
International Journal of Approximate Reasoning
Discovery of multivalued dependencies from relations
Intelligent Data Analysis
The implication problem for measure-based constraints
Information Systems
Efficient core computation in data exchange
Journal of the ACM (JACM)
Adding background knowledge to formal concept analysis via attribute dependency formulas
Proceedings of the 2008 ACM symposium on Applied computing
The Dempster--Shafer calculus for statisticians
International Journal of Approximate Reasoning
Conditional functional dependencies for capturing data inconsistencies
ACM Transactions on Database Systems (TODS)
Semiring induced valuation algebras: Exact and approximate local computation algorithms
Artificial Intelligence
Exploiting semantics of inter-process dependencies to instantiate predefined integration patterns
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Language and program design for functional dependencies
Proceedings of the first ACM SIGPLAN symposium on Haskell
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
Using FCA for Encoding Closure Operators into Neural Networks
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Cheap Boolean Role Constructors for Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
ACM SIGMOD Record
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
From spreadsheets to relational databases and back
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Environment-independent methodology for accessing external data sources
WSEAS Transactions on Information Science and Applications
Database access and patterns in Erlang/OTP
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Uniform Constraint Satisfaction Problems and Database Theory
Complexity of Constraints
Formal Theories of Information
Representing lattices using many-valued relations
Information Sciences: an International Journal
A Model of Database Components and their Interconnection Based upon Communicating Views
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Scaling up reasoning about actions using relational database technology
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Pure Nash equilibria: hard and easy games
Journal of Artificial Intelligence Research
Cutset sampling for Bayesian networks
Journal of Artificial Intelligence Research
A comparison of structural CSP decomposition methods
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Structured modeling language for automated modeling in causal networks
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Diagnosing tree-decomposable circuits
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Unifying tree decompositions for reasoning in graphical models
Artificial Intelligence
Attribute selection with fuzzy decision reducts
Information Sciences: an International Journal
Improving estimation accuracy of aggregate queries on data cubes
Data & Knowledge Engineering
Reasoning about record matching rules
Proceedings of the VLDB Endowment
Pseudo-models and propositional Horn inference
Discrete Applied Mathematics - Ordinal and symbolic data analysis (OSDA 2000)
Generalized domination in closure systems
Discrete Applied Mathematics - Special issue: Discrete mathematics & data mining II (DM & DM II)
A formal comparison of variable elimination and arc reversal in Bayesian network inference
Intelligent Decision Technologies
Computing unique canonical covers for simple FDs via transitive reduction
Information Processing Letters
IBM Journal of Research and Development
Some notes on pseudo-closed sets
ICFCA'07 Proceedings of the 5th international conference on Formal concept analysis
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Consistency enforcement in databases
Proceedings of the 2nd international conference on Semantics in databases
Relational algebra for ranked tables with similarities: properties and implementation
IDA'07 Proceedings of the 7th international conference on Intelligent data analysis
Fundamental study: The multiple facets of the canonical direct unit implicational basis
Theoretical Computer Science
Query systems in similarity-based databases: logical foundations, expressive power, and completeness
Proceedings of the 2010 ACM Symposium on Applied Computing
Autonomous sets: a method for hypergraph decomposition with applications in database theory
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Lossless decompositions in complex-valued databases
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Acquiring generalized domain-range restrictions
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Lexico-logical acquisition of OWL DL axioms: an integrated approach to ontology refinement
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
On the complexity of computing generators of closed sets
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
On the merge of factor canonical bases
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
Graded LinClosure and its role in relational data analysis
CLA'06 Proceedings of the 4th international conference on Concept lattices and their applications
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A web-based tool for teaching data modeling
Journal of Computing Sciences in Colleges
Join-graph propagation algorithms
Journal of Artificial Intelligence Research
A relational model of incomplete data without nulls
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
Instance chains: type class programming without overlapping instances
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Tree decomposition with applications to constraint processing
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The complexity of constraint satisfaction in prolog
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
On the consistency of general constraint-satisfaction problems
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
On approximate horn formula minimization
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
Database theory: query languages
Algorithms and theory of computation handbook
Foundations of uncertain-data integration
Proceedings of the VLDB Endowment
Exploiting uniqueness in query optimization
CASCON First Decade High Impact Papers
Using structural information in XML keyword search effectively
ACM Transactions on Database Systems (TODS)
On the complexity of enumerating pseudo-intents
Discrete Applied Mathematics
Constructing the Bayesian network structure from dependencies implied in multiple relational schemas
Expert Systems with Applications: An International Journal
A relational approach to functional decomposition of logic circuits
ACM Transactions on Database Systems (TODS)
Integrity constraints in (conceptual) database models
The evolution of conceptual modeling
Design non-recursive and redundant-free XML conceptual schema with hypergraph
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications
A relational rock mechanics database scheme with a hierarchical structure
Computers & Geosciences
Dynamic constraints for record matching
The VLDB Journal — The International Journal on Very Large Data Bases
Making time-stepped applications tick in the cloud
Proceedings of the 2nd ACM Symposium on Cloud Computing
On minimal constraint networks
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Towards a parallel approach for incremental mining of functional dependencies on multi-core systems
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Similarity of query results in similarity-based databases
RSKT'11 Proceedings of the 6th international conference on Rough sets and knowledge technology
Iterative join-graph propagation
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
A method for implementing a probabilistic model as a relational database
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Testing implication of probabilistic dependencies
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
On axiomatization of probabilistic conditional independencies
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Typed guarded decompositions for constraint satisfaction
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Design by example for SQL table definitions with functional dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
QSQL: incorporating logic-based retrieval conditions into SQL
DASFAA'10 Proceedings of the 15th international conference on Database Systems for Advanced Applications - Volume Part I
Strategic term rewriting and its application to a VDM-SL to SQL conversion
FM'05 Proceedings of the 2005 international conference on Formal Methods
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
Merge-Based computation of minimal generators
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Treating incomplete knowledge in formal concept analysis
Formal Concept Analysis
Review: survey of directly mapping sql databases to the semantic web
The Knowledge Engineering Review
Searching web data: An entity retrieval and high-performance indexing model
Web Semantics: Science, Services and Agents on the World Wide Web
Hypertree decompositions: structure, algorithms, and applications
WG'05 Proceedings of the 31st international conference on Graph-Theoretic Concepts in Computer Science
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Database design with equality-generating dependencies
DASFAA'05 Proceedings of the 10th international conference on Database Systems for Advanced Applications
Formal concept analysis with constraints by closure operators
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Functional treewidth: bounding complexity in the presence of functional dependencies
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
The implication problem for 'closest node' functional dependencies in complete XML documents
Journal of Computer and System Sciences
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
Formal concept analysis constrained by attribute-dependency formulas
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
On computing the minimal generator family for concept lattices and icebergs
ICFCA'05 Proceedings of the Third international conference on Formal Concept Analysis
Attribute implications in a fuzzy setting
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Interactive association rules discovery
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
About the family of closure systems preserving non-unit implications in the guigues-duquenne base
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Certain conjunctive query answering in first-order logic
ACM Transactions on Database Systems (TODS)
Autonomous sets for the hypergraph of all canonical covers
Annals of Mathematics and Artificial Intelligence
From relational ClassSheets to UML+OCL
Proceedings of the 27th Annual ACM Symposium on Applied Computing
FD covers and universal complements of simple projections
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Attribute implications in similarity-based databases: semantic entailment and nonredundant bases
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Database placement in communication networks for minimizing the overall transmission cost
Mathematical and Computer Modelling: An International Journal
A normal form for preventing redundant tuples in relational databases
Proceedings of the 15th International Conference on Database Theory
On Inferences of Full First-Order Hierarchical Decompositions
Fundamenta Informaticae - Logic, Language, Information and Computation
Publication analysis of the formal concept analysis community
ICFCA'12 Proceedings of the 10th international conference on Formal Concept Analysis
Formal concept analysis as a framework for business intelligence technologies
ICFCA'12 Proceedings of the 10th international conference on Formal Concept Analysis
Good classification tests as formal concepts
ICFCA'12 Proceedings of the 10th international conference on Formal Concept Analysis
Some notes on managing closure operators
ICFCA'12 Proceedings of the 10th international conference on Formal Concept Analysis
On minimal constraint networks
Artificial Intelligence
Computing Implications with Negation from a Formal Context
Fundamenta Informaticae - Concept Lattices and Their Applications
Parallel computation of closed itemsets and implication rule bases
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
Applications of ordinal ranks to flexible query answering
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Model-based programming environments for spreadsheets
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
An efficient reasoning method for dependencies over similarity and ordinal data
MDAI'12 Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence
Hydras: directed hypergraphs and horn formulas
WG'12 Proceedings of the 38th international conference on Graph-Theoretic Concepts in Computer Science
Time Automaton: A visual mechanism for temporal querying
Journal of Visual Languages and Computing
Scalable containment for unions of conjunctive queries under constraints
Proceedings of the Fifth Workshop on Semantic Web Information Management
Closure-based constraints in formal concept analysis
Discrete Applied Mathematics
An extended synthesis algorithm for relational database schema design
Proceedings of the 2013 International Conference on Information Systems and Design of Communication
Review: Formal Concept Analysis in knowledge processing: A survey on models and techniques
Expert Systems with Applications: An International Journal
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Granularity of attributes in formal concept analysis
Information Sciences: an International Journal
Key roles of closed sets and minimal generators in concise representations of frequent patterns
Intelligent Data Analysis
Derivation digraphs for dependencies in ordinal and similarity-based data
Information Sciences: an International Journal
Hi-index | 0.02 |