Consolidation of database check constraints
Samo za registrovane korisnike
2019
Članak u časopisu (Objavljena verzija)
Metapodaci
Prikaz svih podataka o dokumentuApstrakt
Independent modeling of various modules of an information system (IS), and consequently database subschemas, may result in formal or semantic conflicts between the modules being modeled. Such conflicts may cause collisions between the integrated database schema of a whole IS and the modeled subschemas. In our previous work, we have proposed criteria and algorithms for identifying and resolving such conflicts so as to provide a consolidation of database subschemas with the integrated database schema with respect to various database concepts, such as domains, relation schemes, primary key constraints and referential integrity constraints. In this paper, we propose a new approach and algorithms for identifying conflicts and testing consolidation of subschemas with the integrated database schema against check constraints. The proposed approach is based on satisfiability modulo theory (SMT) solvers. Hereby, we propose the integration of SMT solvers into our MDSD tool, aimed at supporting a ...database schema integration process.
Ključne reči:
SMT solver / Implication problem / Database subschema consolidation / Check constraint collisionIzvor:
Software and Systems Modeling, 2019, 18, 3, 2111-2135Izdavač:
- Springer Heidelberg, Heidelberg
Finansiranje / projekti:
- Inteligentni sistemi za razvoj softverskih proizvoda i podršku poslovanja zasnovani na modelima (RS-MESTD-Integrated and Interdisciplinary Research (IIR or III)-44010)
DOI: 10.1007/s10270-017-0637-2
ISSN: 1619-1366
WoS: 000468996100026
Scopus: 2-s2.0-85035135874
Institucija/grupa
Fakultet organizacionih naukaTY - JOUR AU - Obrenović, Nikola AU - Luković, Ivan AU - Ristić, Sonja PY - 2019 UR - https://rfos.fon.bg.ac.rs/handle/123456789/1972 AB - Independent modeling of various modules of an information system (IS), and consequently database subschemas, may result in formal or semantic conflicts between the modules being modeled. Such conflicts may cause collisions between the integrated database schema of a whole IS and the modeled subschemas. In our previous work, we have proposed criteria and algorithms for identifying and resolving such conflicts so as to provide a consolidation of database subschemas with the integrated database schema with respect to various database concepts, such as domains, relation schemes, primary key constraints and referential integrity constraints. In this paper, we propose a new approach and algorithms for identifying conflicts and testing consolidation of subschemas with the integrated database schema against check constraints. The proposed approach is based on satisfiability modulo theory (SMT) solvers. Hereby, we propose the integration of SMT solvers into our MDSD tool, aimed at supporting a database schema integration process. PB - Springer Heidelberg, Heidelberg T2 - Software and Systems Modeling T1 - Consolidation of database check constraints EP - 2135 IS - 3 SP - 2111 VL - 18 DO - 10.1007/s10270-017-0637-2 UR - conv_2177 ER -
@article{ author = "Obrenović, Nikola and Luković, Ivan and Ristić, Sonja", year = "2019", abstract = "Independent modeling of various modules of an information system (IS), and consequently database subschemas, may result in formal or semantic conflicts between the modules being modeled. Such conflicts may cause collisions between the integrated database schema of a whole IS and the modeled subschemas. In our previous work, we have proposed criteria and algorithms for identifying and resolving such conflicts so as to provide a consolidation of database subschemas with the integrated database schema with respect to various database concepts, such as domains, relation schemes, primary key constraints and referential integrity constraints. In this paper, we propose a new approach and algorithms for identifying conflicts and testing consolidation of subschemas with the integrated database schema against check constraints. The proposed approach is based on satisfiability modulo theory (SMT) solvers. Hereby, we propose the integration of SMT solvers into our MDSD tool, aimed at supporting a database schema integration process.", publisher = "Springer Heidelberg, Heidelberg", journal = "Software and Systems Modeling", title = "Consolidation of database check constraints", pages = "2135-2111", number = "3", volume = "18", doi = "10.1007/s10270-017-0637-2", url = "conv_2177" }
Obrenović, N., Luković, I.,& Ristić, S.. (2019). Consolidation of database check constraints. in Software and Systems Modeling Springer Heidelberg, Heidelberg., 18(3), 2111-2135. https://doi.org/10.1007/s10270-017-0637-2 conv_2177
Obrenović N, Luković I, Ristić S. Consolidation of database check constraints. in Software and Systems Modeling. 2019;18(3):2111-2135. doi:10.1007/s10270-017-0637-2 conv_2177 .
Obrenović, Nikola, Luković, Ivan, Ristić, Sonja, "Consolidation of database check constraints" in Software and Systems Modeling, 18, no. 3 (2019):2111-2135, https://doi.org/10.1007/s10270-017-0637-2 ., conv_2177 .