Discovering denial constraints

Xu Chu, Ihab F. Ilyas, Paolo Papotti

Research output: Contribution to journalArticle

62 Citations (Scopus)

Abstract

Integrity constraints (ICs) provide a valuable tool for enforcing correct application semantics. However, designing ICs requires experts and time. Proposals for automatic discovery have been made for some formalisms, such as functional dependencies and their extension conditional functional dependencies. Unfortunately, these dependencies cannot express many common business rules. For example, an American citizen cannot have lower salary and higher tax rate than another citizen in the same state. In this paper, we tackle the challenges of discovering dependencies in a more expressive integrity constraint language, namely Denial Constraints (DCs). DCs are expressive enough to overcome the limits of previous languages and, at the same time, have enough structure to allow efficient discovery and application in several scenarios. We lay out theoretical and practical foundations for DCs, including a set of sound inference rules and a linear algorithm for implication testing. We then develop an efficient instance-driven DC discovery algorithm and propose a novel scoring function to rank DCs for user validation. Using real-world and synthetic datasets, we experimentally evaluate scalability and effectiveness of our solution.

Original languageEnglish (US)
Pages (from-to)1498-1509
Number of pages12
JournalUnknown Journal
Volume6
Issue number13
StatePublished - Aug 2013
Externally publishedYes

Fingerprint

Wages
Taxation
Scalability
Semantics
Acoustic waves
Language
Testing
Salaries and Fringe Benefits
Taxes
Industry
Denial (Psychology)
Dependency (Psychology)
Datasets

ASJC Scopus subject areas

  • Computer Science (miscellaneous)
  • Computer Science(all)

Cite this

Chu, X., Ilyas, I. F., & Papotti, P. (2013). Discovering denial constraints. Unknown Journal, 6(13), 1498-1509.

Discovering denial constraints. / Chu, Xu; Ilyas, Ihab F.; Papotti, Paolo.

In: Unknown Journal, Vol. 6, No. 13, 08.2013, p. 1498-1509.

Research output: Contribution to journalArticle

Chu, X, Ilyas, IF & Papotti, P 2013, 'Discovering denial constraints', Unknown Journal, vol. 6, no. 13, pp. 1498-1509.
Chu X, Ilyas IF, Papotti P. Discovering denial constraints. Unknown Journal. 2013 Aug;6(13):1498-1509.
Chu, Xu ; Ilyas, Ihab F. ; Papotti, Paolo. / Discovering denial constraints. In: Unknown Journal. 2013 ; Vol. 6, No. 13. pp. 1498-1509.
@article{358227ec75754f26a48693e70ba105d5,
title = "Discovering denial constraints",
abstract = "Integrity constraints (ICs) provide a valuable tool for enforcing correct application semantics. However, designing ICs requires experts and time. Proposals for automatic discovery have been made for some formalisms, such as functional dependencies and their extension conditional functional dependencies. Unfortunately, these dependencies cannot express many common business rules. For example, an American citizen cannot have lower salary and higher tax rate than another citizen in the same state. In this paper, we tackle the challenges of discovering dependencies in a more expressive integrity constraint language, namely Denial Constraints (DCs). DCs are expressive enough to overcome the limits of previous languages and, at the same time, have enough structure to allow efficient discovery and application in several scenarios. We lay out theoretical and practical foundations for DCs, including a set of sound inference rules and a linear algorithm for implication testing. We then develop an efficient instance-driven DC discovery algorithm and propose a novel scoring function to rank DCs for user validation. Using real-world and synthetic datasets, we experimentally evaluate scalability and effectiveness of our solution.",
author = "Xu Chu and Ilyas, {Ihab F.} and Paolo Papotti",
year = "2013",
month = "8",
language = "English (US)",
volume = "6",
pages = "1498--1509",
journal = "Scanning Electron Microscopy",
issn = "0586-5581",
publisher = "Scanning Microscopy International",
number = "13",

}

TY - JOUR

T1 - Discovering denial constraints

AU - Chu, Xu

AU - Ilyas, Ihab F.

AU - Papotti, Paolo

PY - 2013/8

Y1 - 2013/8

N2 - Integrity constraints (ICs) provide a valuable tool for enforcing correct application semantics. However, designing ICs requires experts and time. Proposals for automatic discovery have been made for some formalisms, such as functional dependencies and their extension conditional functional dependencies. Unfortunately, these dependencies cannot express many common business rules. For example, an American citizen cannot have lower salary and higher tax rate than another citizen in the same state. In this paper, we tackle the challenges of discovering dependencies in a more expressive integrity constraint language, namely Denial Constraints (DCs). DCs are expressive enough to overcome the limits of previous languages and, at the same time, have enough structure to allow efficient discovery and application in several scenarios. We lay out theoretical and practical foundations for DCs, including a set of sound inference rules and a linear algorithm for implication testing. We then develop an efficient instance-driven DC discovery algorithm and propose a novel scoring function to rank DCs for user validation. Using real-world and synthetic datasets, we experimentally evaluate scalability and effectiveness of our solution.

AB - Integrity constraints (ICs) provide a valuable tool for enforcing correct application semantics. However, designing ICs requires experts and time. Proposals for automatic discovery have been made for some formalisms, such as functional dependencies and their extension conditional functional dependencies. Unfortunately, these dependencies cannot express many common business rules. For example, an American citizen cannot have lower salary and higher tax rate than another citizen in the same state. In this paper, we tackle the challenges of discovering dependencies in a more expressive integrity constraint language, namely Denial Constraints (DCs). DCs are expressive enough to overcome the limits of previous languages and, at the same time, have enough structure to allow efficient discovery and application in several scenarios. We lay out theoretical and practical foundations for DCs, including a set of sound inference rules and a linear algorithm for implication testing. We then develop an efficient instance-driven DC discovery algorithm and propose a novel scoring function to rank DCs for user validation. Using real-world and synthetic datasets, we experimentally evaluate scalability and effectiveness of our solution.

UR - http://www.scopus.com/inward/record.url?scp=84891066910&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84891066910&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84891066910

VL - 6

SP - 1498

EP - 1509

JO - Scanning Electron Microscopy

JF - Scanning Electron Microscopy

SN - 0586-5581

IS - 13

ER -