Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries
Authors: Marcelo Arenas, Gabriel Diéguez, Jorge Pérez
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we propose to use the language of bidirectional constraints to specify schema mappings in the context of data exchange... We then formally study the use of bidirectional constraints in data exchange. In particular, we pinpoint the complexity of the existence-of-solutions and the query evaluation problems in several different scenarios, including in the latter case both monotone and nonmonotone queries. |
| Researcher Affiliation | Academia | Marcelo Arenas Dept. of Computer Science PUC Chile marenas@ing.puc.cl Gabriel Di eguez Dept. of Computer Science PUC Chile gsdieguez@uc.cl Jorge P erez Dept. of Computer Science Universidad de Chile jperez@dcc.uchile.cl |
| Pseudocode | Yes | Algorithm CLOSURE(M) Input: M = (S, T, Σ), where Σ is a set of st-tgds. Output: COMP(M) = (S, T, ), where is a set of bidirectional constraints and COMP(M) is a closure of M. (1) Start with as the empty set. (2) For every st-tgd ϕ( x) ψ( x) Σ, do the following: (a) Use QUERYREWRITING(M, ψ( x)) to compute a query α( x) that is a rewriting of ψ( x) over the source. (b) Add dependency α( x) (ψ( x) C( x)) to . (3) Return COMP(M) = (S, T, ). |
| Open Source Code | No | The paper does not provide any statement or link indicating that the source code for the described methodology is publicly available. |
| Open Datasets | No | The paper is theoretical and focuses on formal properties and complexity analysis; it does not involve the use of datasets for training or evaluation. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical evaluation or the splitting of datasets into training, validation, or test sets. |
| Hardware Specification | No | The paper is theoretical and does not describe any experimental setup or the specific hardware used for computations. |
| Software Dependencies | No | The paper is theoretical and does not mention any specific software dependencies or their version numbers required for implementation or reproduction. |
| Experiment Setup | No | The paper is theoretical and does not include details about an experimental setup, hyperparameters, or training configurations. |