Equivalences Among Relational Expressions

No abstract is available for this paper.

• Publication year

  1979

• Venue

  SIAM journal on computing (Print)

• Publication date

  1979-05-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1137/0208017
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Observations on Data Manipulation Languages and Their Embedding in General Purpose Programming Languages

  1977cited by this paper
• Optimal implementation of conjunctive queries in relational data bases

  1977cited by this paper
• Multivalued dependencies and a new normal form for relational databases

  1977cited by this paper
• A complete axiomatization for functional and multivalued dependencies in database relations

  1977cited by this paper
• Analysis and design of relational schemata for database systems.

  1976cited by this paper
• Decomposition—a strategy for query processing

  1976cited by this paper
• Synthesizing third normal form relations from functional dependencies

  1976cited by this paper
• Efficient Evaluation of Expressions in a Relational Algebra

  1975cited by this paper
• Optimizing the performance of a relational algebra database interface

  1975cited by this paper
• Performing inferences over relation data bases

  1975cited by this paper
• Query-by-example: the invocation and definition of tables and forms

  1975cited by this paper
• Dependency Structures of Data Base Relationships

  1974cited by this paper
• The Design and Analysis of Computer Algorithms

  1974cited by this paper
• Reducibility Among Combinatorial Problems

  1972cited by this paper
• Further Normalization of the Data Base Relational Model

  1971cited by this paper
• Code optimization and finite church-rosser systems

  1971cited by this paper
• The complexity of theorem-proving procedures

  1971cited by this paper
• A Relational Model for Large Shared Data Banks

  1970cited by this paper

• QUITE: A Query Rewrite System Beyond Rules with LLM Agents

  2025cites this paper
• SOC: A Succinct Adaptive Semantic OLAP Caching

  2025cites this paper
• Query Rewriting via LLMs

  2025cites this paper
• A Critical Approach to ChatGPT: An Experience in SQL Learning

  2025cites this paper
• Graphiti: Bridging Graph and Relational Database Queries

  2025cites this paper
• Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries

  2024cites this paper
• An Automated SQL Query Grading System Using An Attention-Based Convolutional Neural Network

  2024cites this paper
• VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints

  2024cites this paper
• Attribution Scores of BERT-Based SQL-Query Automatic Grading for Explainability

  2023cites this paper
• BERT Goes to SQL School: Improving Automatic Grading of SQL Statements

  2023cites this paper
• Demo: Structural Network Minimization: A Case of Reflective Networking

  2023cites this paper
• Solving the SPARQL query containment problem with SpeCS

  2022cites this paper
• SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics

  2022cites this paper
• Automated Grading of SQL Queries

  2022cites this paper
• Some Algorithmic Improvments for the Containment Problem of Conjunctive Queries with Negation

  2022cites this paper
• Parameterized complexity of completeness reasoning for conjunctive queries

  2021cites this paper
• Modeling SQL Statement Correctness with Attention-Based Convolutional Neural Networks

  2021cites this paper
• SPES: A Two-Stage Query Equivalence Verifier

  2020influential citation
• Logically automorphically equivalent knowledge bases models

  2020cites this paper
• How Hard Is Completeness Reasoning for Conjunctive Queries?

  2020cites this paper
• Automated Grading of SQL Queries

  2019cites this paper
• Edit Based Grading of SQL Queries

  2019cites this paper
• Improved Cardinality Estimation by Learning Queries Containment Rates

  2019cites this paper
• Geometrical equivalence and action type geometrical equivalence of group representations

  2018cites this paper
• SPARQL Query Containment Under Schema

  2018cites this paper
• Logically automorphically equivalent knowledge bases

  2017cites this paper
• Path-functional dependencies and the two-variable guarded fragment with counting

  2017cites this paper
• Verifying equivalence of database-driven applications

  2017cites this paper
• Relational lattices: From databases to universal algebra

  2016cites this paper
• Bounded Query Rewriting Using Views

  2016cites this paper
• Expanded acyclic queries: Containment and an application in explaining missing answers

  2016cites this paper
• Efficient Big Data query answering in the presence of constraints. (Répondre efficacement aux requêtes Big Data en présence de contraintes)

  2016cites this paper
• On the Static Analysis for SPARQL Queries Using Modal Logic

  2015cites this paper
• Efficiently and Effectively Answering Why-Not Questions based on Provenance Polynomials

  2015cites this paper
• Réponses manquantes : Débogage et Réparation de requêtes

  2015cites this paper
• Classification of annotation semirings over containment of conjunctive queries

  2014influential citation
• A theoretical framework for knowledge-based entity resolution

  2014cites this paper
• Defining Energy Consumption Plans for Data Querying Processes

  2014cites this paper
• Obtaining Information about Queries behind Views and Dependencies

  2014cites this paper
• WITHDRAWN: A theoretical framework for knowledge-based entity resolution

  2013cites this paper
• Containment of Schema Mappings for Data Exchange (Preliminary Report)

  2013cites this paper
• Detecting Information Leakage in Database Access Control With Help from Data Exchange

  2013cites this paper
• Isotypeness of Models and Knowledge Bases Equivalence

  2013cites this paper
• Cylindric Algebras and Relational Databases

  2013cites this paper
• Checking Containment of Schema Mappings (Preliminary Report)

  2013cites this paper
• Constrained Query Answering

  2013cites this paper
• Size and Treewidth Bounds for Conjunctive Queries

  2012cites this paper
• On the Decidability and Complexity of Identity Knowledge Representation

  2012cites this paper
• On the complexity of entailment in existential conjunctive first-order logic with atomic negation

  2012cites this paper
• The dichotomy of probabilistic inference for unions of conjunctive queries

  2012cites this paper
• Incomplete Data and Data Dependencies in Relational Databases

  2012cites this paper
• Higher-order queries and applications

  2012cites this paper
• SPARQL Query Containment Under SHI Axioms

  2012cites this paper
• Analyse statique de requête pour le Web sémantique

  2012cites this paper
• Symmetries of knowledge bases

  2012cites this paper
• Extending dependencies for improving data quality

  2011cites this paper
• Tableaux-based optimization of schema mappings for data integration

  2011cites this paper
• Tabular representation of schema mappings of a data exchange system

  2011cites this paper
• A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation

  2011cites this paper
• Tabular Representation of Schema Mappings: Semantics and Algorithms

  2011cites this paper
• Security issues in heterogeneous data federations

  2011cites this paper
• Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments

  2010cites this paper
• Subsumption and complementation as data fusion operators

  2010cites this paper
• Containment of Conjunctive Queries with Negation: Algorithms and Experiments

  2010cites this paper
• Data fusion and conflict resolution in integrated information systems

  2010cites this paper
• Personalizing queries based on networks of composite preferences

  2010cites this paper
• Ontological Reasoning with F-logic Lite and its Extensions

  2010cites this paper
• Size and treewidth bounds for conjunctive queries

  2009cites this paper
• BlueS: query processing in ubiquitous environments: service discovery vs. information exchange

  2009cites this paper
• Checking containment of schema mappings

  2009cites this paper
• Size Bounds for Conjunctive Queries with General Functional Dependencies

  2009cites this paper
• Обзор развития методов лексической оптимизации запросов

  2009cites this paper
• On the Complexity of Deduction in Existential Conjunctive First Order Logic with Atomic Negation (Long Version)

  2009cites this paper
• Negative representations of information

  2009cites this paper
• BlueS: Indexing Support for Data Exchange in Ubiquitous Environments

  2009cites this paper
• Containment between Unions of XPath Queries

  2009influential citation
• Comparing Rule-Based Policies

  2008cites this paper
• Conjunctive query containment and answering under description logic constraints

  2008cites this paper
• DEFINING AND ENFORCING PRIVACY IN DATA

  2008cites this paper
• I 2-D 14 Formal Policy Analysis Techniques for Comparison and Validation

  2008cites this paper
• Defining and Enforcing Privacy in Data Sharing

  2008cites this paper
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints

  2008cites this paper
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints Draft containing the full version of the KR 2008 paper.

  2008cites this paper
• Propagating functional dependencies with conditions

  2008cites this paper
• Auditing Inference Based Disclosures in Dynamic Databases

  2008cites this paper
• Efficient core computation in data exchange

  2008cites this paper
• Formal Policy Analysis Techniques for Comparison and

  2008cites this paper
• Access control in XML PDMS query answering

  2007cites this paper
• TRIGGERS AND RANKED KEYWORD SEARCHES

  2007cites this paper
• Building Query Compilers (Under Construction) (expected time to completion: 5 years)

  2006cites this paper
• Triggers over nested views of relational data

  2006cites this paper
• On the efficiency of checking perfect privacy

  2006influential citation
• Containment of conjunctive object meta-queries

  2006cites this paper
• Relevanz von Änderungen für Datenbestände mobiler Clients

  2005cites this paper
• Database Reformulation with Integrity Constraints (extended abstract)

  2005cites this paper
• Authorization Views and Conditional Query Containment

  2005cites this paper
• Checking query containment with the CQC method

  2005cites this paper
• Conjunctive Query Containment and Answering under Description Logics Constraints

  2005cites this paper
• Structural heuristics for query optimization

  2004cites this paper
• Containment of Nested XML Queries

  2004cites this paper