Testing Dependencies and Inference Rules in Databases
The process of testing dependencies and inference rules can be used in two ways. First, testing allows verification hypotheses about unknown inference rules. The main goal, in this case, is to search for the relation - a counterexample that illustrates the feasibility of the initial dependencies and...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2022-09-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1713 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849338898852872192 |
|---|---|
| author | Sergey V. Zykin |
| author_facet | Sergey V. Zykin |
| author_sort | Sergey V. Zykin |
| collection | DOAJ |
| description | The process of testing dependencies and inference rules can be used in two ways. First, testing allows verification hypotheses about unknown inference rules. The main goal, in this case, is to search for the relation - a counterexample that illustrates the feasibility of the initial dependencies and contradicts the consequence. The found counterexample refutes the hypothesis, the absence of a counterexample allows searching for a generalization of the rule and conditions for its feasibility (logically imply). Testing cannot be used as a proof of the feasibility of inference rules, since the process of generalization requires the search for universal inference conditions for each rule, which cannot be programmed, 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. The solution to this problem is based on using join dependency inference rules. For these dependencies, a complete system of rules (axioms) has not yet been found. This paper discusses: 1) a technique for testing inference rules using the example of join dependencies, 2) a scheme of a testing algorithm is proposed, 3) some hypotheses are considered for which there are no counterexamples and inference rules, 4) an example of using testing when searching for a correct decomposition of a superkey is proposed. |
| format | Article |
| id | doaj-art-1db72a93127c41e880d7cb7bed78e49b |
| institution | Kabale University |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2022-09-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-1db72a93127c41e880d7cb7bed78e49b2025-08-20T03:44:17ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172022-09-0129321022710.18255/1818-1015-2022-3-210-2271323Testing Dependencies and Inference Rules in DatabasesSergey V. Zykin0Sobolev institute of mathematics SB RASThe process of testing dependencies and inference rules can be used in two ways. First, testing allows verification hypotheses about unknown inference rules. The main goal, in this case, is to search for the relation - a counterexample that illustrates the feasibility of the initial dependencies and contradicts the consequence. The found counterexample refutes the hypothesis, the absence of a counterexample allows searching for a generalization of the rule and conditions for its feasibility (logically imply). Testing cannot be used as a proof of the feasibility of inference rules, since the process of generalization requires the search for universal inference conditions for each rule, which cannot be programmed, 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. The solution to this problem is based on using join dependency inference rules. For these dependencies, a complete system of rules (axioms) has not yet been found. This paper discusses: 1) a technique for testing inference rules using the example of join dependencies, 2) a scheme of a testing algorithm is proposed, 3) some hypotheses are considered for which there are no counterexamples and inference rules, 4) an example of using testing when searching for a correct decomposition of a superkey is proposed.https://www.mais-journal.ru/jour/article/view/1713relational databasesjoin dependenciesinference rulestesting |
| spellingShingle | Sergey V. Zykin Testing Dependencies and Inference Rules in Databases Моделирование и анализ информационных систем relational databases join dependencies inference rules testing |
| title | Testing Dependencies and Inference Rules in Databases |
| title_full | Testing Dependencies and Inference Rules in Databases |
| title_fullStr | Testing Dependencies and Inference Rules in Databases |
| title_full_unstemmed | Testing Dependencies and Inference Rules in Databases |
| title_short | Testing Dependencies and Inference Rules in Databases |
| title_sort | testing dependencies and inference rules in databases |
| topic | relational databases join dependencies inference rules testing |
| url | https://www.mais-journal.ru/jour/article/view/1713 |
| work_keys_str_mv | AT sergeyvzykin testingdependenciesandinferencerulesindatabases |