Testing Dependencies and Inference Rules in Databases Full article
| Journal |
Automatic Control and Computer Sciences
ISSN: 0146-4116 , E-ISSN: 1558-108X |
||
|---|---|---|---|
| Output data | Year: 2023, Volume: 57, Number: 7, Pages: 788-802 Pages count : 15 DOI: 10.3103/S0146411623070179 | ||
| Tags | relational databases, join dependencies, inference rules, testing | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН». | FWNF-2022-0016 |
Abstract:
The process of testing dependencies and inference rules can be used in two ways. First of all, testing allows verifying hypotheses about unknown inference rules. In this case, the main goal is to search for a counterexample relation that showcases the feasibility of the initial dependencies and contradicts the consequence. A found counterexample refutes the hypothesis, and the absence of a counterexample allows searching for a generalization of the rule and for conditions of its feasibility. Testing cannot be used to prove the feasibility of inference rules because generalization requires searching for universal inference conditions for each rule, which is impossible to program since even the form of these conditions is unknown. Secondly, when designing a particular database, it may be necessary to test the feasibility of a rule for which there is no theoretical justification. Such a situation can take place in the presence of anomalies in the superkey. This problem is solved by using join dependency of the inference rules. A complete system of rules (axioms) for these dependencies is yet to be found. This article discusses (1) a technique for testing inference rules through the example of join dependencies, (2) proposes a testing algorithm scheme, (3) considers some hypotheses for which there are no counterexamples or inference rules, and (4) proposes an example of testing used to search for the correct decomposition of a superkey.
Cite:
Zykin S.V.
Testing Dependencies and Inference Rules in Databases
Automatic Control and Computer Sciences. 2023. V.57. N7. P.788-802. DOI: 10.3103/S0146411623070179 WOS Scopus РИНЦ OpenAlex
Testing Dependencies and Inference Rules in Databases
Automatic Control and Computer Sciences. 2023. V.57. N7. P.788-802. DOI: 10.3103/S0146411623070179 WOS Scopus РИНЦ OpenAlex
Original:
Зыкин С.В.
Тестирование зависимостей и правил вывода в базах данных
Моделирование и анализ информационных систем. 2022. Т.29. №3. С.210-227. DOI: 10.18255/1818-1015-2022-3-210-227 РИНЦ OpenAlex
Тестирование зависимостей и правил вывода в базах данных
Моделирование и анализ информационных систем. 2022. Т.29. №3. С.210-227. DOI: 10.18255/1818-1015-2022-3-210-227 РИНЦ OpenAlex
Dates:
| Submitted: | Jul 30, 2022 |
| Accepted: | Sep 2, 2022 |
| Published print: | Dec 21, 2023 |
| Published online: | Feb 27, 2024 |
Identifiers:
| Web of science: | WOS:001171290500015 |
| Scopus: | 2-s2.0-85186138610 |
| Elibrary: | 65552430 |
| OpenAlex: | W4392188888 |
Citing:
| DB | Citing |
|---|---|
| OpenAlex | 1 |