{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:42:49Z","timestamp":1740141769572,"version":"3.37.3"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,11,24]],"date-time":"2017-11-24T00:00:00Z","timestamp":1511481600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004564","name":"Ministarstvo Prosvete, Nauke i Tehnolo\u0161kog Razvoja","doi-asserted-by":"publisher","award":["Grant III\u201344010"],"award-info":[{"award-number":["Grant III\u201344010"]}],"id":[{"id":"10.13039\/501100004564","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s10270-017-0637-2","type":"journal-article","created":{"date-parts":[[2017,11,24]],"date-time":"2017-11-24T10:53:57Z","timestamp":1511520837000},"page":"2111-2135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Consolidation of database check constraints"],"prefix":"10.1007","volume":"18","author":[{"given":"Nikola","family":"Obrenovi\u0107","sequence":"first","affiliation":[]},{"given":"Ivan","family":"Lukovi\u0107","sequence":"additional","affiliation":[]},{"given":"Sonja","family":"Risti\u0107","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,24]]},"reference":[{"key":"637_CR1","doi-asserted-by":"publisher","first-page":"1621","DOI":"10.1002\/spe.820","volume":"37","author":"I Lukovi\u0107","year":"2007","unstructured":"Lukovi\u0107, I., Mogin, P., Pavi\u0107evi\u0107, J., Risti\u0107, S.: An approach to developing complex database schemas using form types. Softw. Pract. Exp. 37, 1621\u20131656 (2007). \n                    https:\/\/doi.org\/10.1002\/spe.820","journal-title":"Softw. Pract. Exp."},{"key":"637_CR2","unstructured":"Risti\u0107, S.: Problem Research of Database Subschemas Consolidation. Dissertation, University of Novi Sad, Serbia (2003)"},{"key":"637_CR3","unstructured":"Lukovi\u0107, I., Risti\u0107, S., Mogin, P., Pavi\u0107evi\u0107, J.: Database schema integration process a methodology and aspects of its applying. Novi Sad J. Math. 36, 115\u2013150 (2006). ISSN: 1450-5444"},{"key":"637_CR4","unstructured":"Lukovi\u0107, I., Mogin, P.: Lossless joins of relational database views. Rev. Res. 26, 49\u201373, Faculty of Science, University of Novi Sad (1996). ISSN: 1450-5444"},{"key":"637_CR5","doi-asserted-by":"publisher","first-page":"1075","DOI":"10.2298\/CSIS120203034C","volume":"9","author":"M \u010celikovi\u0107","year":"2012","unstructured":"\u010celikovi\u0107, M., Lukovi\u0107, I., Aleksi\u0107, S., Ivan\u010devi\u0107, V.: A MOF based meta-model and a concrete DSL syntax of IIS*Case PIM concepts. Comput. Sci. Inf. Syst. 9, 1075\u20131103 (2012). \n                    https:\/\/doi.org\/10.2298\/CSIS120203034C","journal-title":"Comput. Sci. Inf. Syst."},{"key":"637_CR6","unstructured":"Lukovi\u0107, I.: Automated Generation of Relational Database Subschemas Using the Form Types. MSc thesis, University of Belgrade, Serbia (1993)"},{"key":"637_CR7","doi-asserted-by":"publisher","unstructured":"Obrenovi\u0107, N., Lukovi\u0107, I.: An approach to consolidation of database check constraints. In: Proceedings of 4th International Conference on Information Society Technology and Management (ICIST), pp. 210\u2013215 (2014). \n                    https:\/\/doi.org\/10.13140\/2.1.4111.0082","DOI":"10.13140\/2.1.4111.0082"},{"key":"637_CR8","unstructured":"CVC3 home page. \n                    http:\/\/www.cs.nyu.edu\/acsys\/cvc3\/\n                    \n                  . Accessed 1 June 2016"},{"key":"637_CR9","unstructured":"Date, C.J., Darwen, H.: Types and the Relational Model. The Third Manifesto, 3rd edn. Addison Wesley, Reading (2006)"},{"key":"637_CR10","unstructured":"Elmasri, R., Navathe, B. S.: Database Systems: Models, Languages, Design and Application Programming, 6th ed. Pearson Global Edition (2011). ISBN 978-0-13-214498-8"},{"issue":"2","key":"637_CR11","doi-asserted-by":"publisher","first-page":"679","DOI":"10.2298\/CSIS140216037R","volume":"11","author":"S Risti\u0107","year":"2014","unstructured":"Risti\u0107, S., Aleksi\u0107, S., \u010celikovi\u0107, M., Lukovi\u0107, I.: Generic and standard database constraint meta-models. Comput. Sci. Inf. Syst. 11(2), 679\u2013696 (2014). \n                    https:\/\/doi.org\/10.2298\/CSIS140216037R","journal-title":"Comput. Sci. Inf. Syst."},{"key":"637_CR12","unstructured":"Mogin, P., Lukovi\u0107, I., Govedarica, M.: Database Design Principles, University of Novi Sad, Faculty of Technical Sciences and MP Stylos, Novi Sad, Serbia (2004). ISBN 86-80249-81-5"},{"key":"637_CR13","doi-asserted-by":"publisher","unstructured":"Risti\u0107, S., Aleksi\u0107, S., \u010celikovi\u0107, M., Lukovi\u0107, I.: Meta-modeling of inclusion dependency constraints. In: Proceedings of the 6th Balkan Conference in Informatics (BCI\u201913), pp. 114\u2013121, ACM, New York, NY, USA (2013). \n                    https:\/\/doi.org\/10.1145\/2490257.2490265","DOI":"10.1145\/2490257.2490265"},{"key":"637_CR14","doi-asserted-by":"publisher","first-page":"359","DOI":"10.2298\/CSIS1002359L","volume":"7","author":"I Lukovi\u0107","year":"2010","unstructured":"Lukovi\u0107, I., Popovi\u0107, A., Mosti\u0107, J., Risti\u0107, S.: A tool for modeling form type check constraints and complex functionalities of business applications. Comput. Sci. Inf. Syst. 7, 359\u2013385 (2010). \n                    https:\/\/doi.org\/10.2298\/CSIS1002359L","journal-title":"Comput. Sci. Inf. Syst."},{"issue":"1","key":"637_CR15","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/320064.320066","volume":"4","author":"C Beeri","year":"1979","unstructured":"Beeri, C., Bernstein, P.A.: Computational problems related to the design of normal form relational schemas. ACM Trans. Database Syst. 4(1), 30\u201359 (1979). \n                    https:\/\/doi.org\/10.1145\/320064.320066","journal-title":"ACM Trans. Database Syst."},{"key":"637_CR16","first-page":"1045","volume":"31","author":"N Obrenovi\u0107","year":"2012","unstructured":"Obrenovi\u0107, N., Aleksi\u0107, S., Popovi\u0107, A., Lukovi\u0107, I.: Transformations of check constraint PIM specifications. Comput. Inform. 31, 1045\u20131079 (2012)","journal-title":"Comput. Inform."},{"key":"637_CR17","volume-title":"Introduction to Mathematical Logic","author":"E Mendelson","year":"1997","unstructured":"Mendelson, E.: Introduction to Mathematical Logic, 4th edn. Chapman & Hall, London (1997)","edition":"4"},{"key":"637_CR18","doi-asserted-by":"publisher","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of 3rd Annual ACM Symposium on Theory of Computing (STOC), pp. 151\u2013158 (1971). \n                    https:\/\/doi.org\/10.1145\/800157.805047","DOI":"10.1145\/800157.805047"},{"key":"637_CR19","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s10817-009-9127-8","volume":"43","author":"F Mari\u0107","year":"2009","unstructured":"Mari\u0107, F.: Formalization and implementation of modern SAT solvers. J. Autom. Reason. 43, 81\u2013119 (2009). \n                    https:\/\/doi.org\/10.1007\/s10817-009-9127-8","journal-title":"J. Autom. Reason."},{"key":"637_CR20","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-10452-7_3","volume-title":"Formal Methods: Foundations and Applications","author":"L Moura De","year":"2009","unstructured":"De Moura, L., Bj\u00f8rner, N.: Satisfiability modulo theories: an appetizer. In: Oliveira, M.V., Woodcock, J. (eds.) Formal Methods: Foundations and Applications, pp. 23\u201336. Springer, Berlin (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-10452-7_3"},{"key":"637_CR21","first-page":"825","volume-title":"Handbook of Satisfiability","author":"CW Barrett","year":"2009","unstructured":"Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Biere, A., Heule, M., Van Maaren, H., Walsch, T. (eds.) Handbook of Satisfiability, pp. 825\u2013885. IOS Press, Amsterdam (2009)"},{"key":"637_CR22","unstructured":"Prover 9 web page. \n                    http:\/\/www.cs.unm.edu\/~mccune\/prover9\/\n                    \n                  . Accessed 1 June 2016"},{"key":"637_CR23","unstructured":"Vampire\u2019s home page. \n                    http:\/\/www.vprover.org\/\n                    \n                  . Accessed 1 June 2016"},{"key":"637_CR24","doi-asserted-by":"publisher","unstructured":"Kovacs, L., Voronkov, A.: First-order theorem proving and VAMPIRE. In: Proceedings of 25th International Conference on Computer Aided Verification (CAV), pp. 1\u201335 (2013). \n                    https:\/\/doi.org\/10.1007\/978-3-642-39799-8_1","DOI":"10.1007\/978-3-642-39799-8_1"},{"key":"637_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-92243-8_1","volume-title":"Constraint Handling Rules","author":"T Fr\u00fchwirth","year":"2008","unstructured":"Fr\u00fchwirth, T.: Welcome to constraint handling rules. In: Schrijvers, T., Fr\u00fchwirth, T. (eds.) Constraint Handling Rules, pp. 1\u201315. Springer, Berlin (2008). \n                    https:\/\/doi.org\/10.1007\/978-3-540-92243-8_1"},{"key":"637_CR26","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of constraint handling rules. J. Logic Program. 37, 95\u2013138 (1998). \n                    https:\/\/doi.org\/10.1016\/S0743-1066(98)10005-5","journal-title":"J. Logic Program."},{"key":"637_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05138-2","volume-title":"Essentials of Constraint Programming","author":"T Fr\u00fchwirth","year":"2003","unstructured":"Fr\u00fchwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Springer, New York (2003). \n                    https:\/\/doi.org\/10.1007\/978-3-662-05138-2"},{"key":"637_CR28","unstructured":"MathSAT 5 home page. \n                    http:\/\/mathsat.fbk.eu\/\n                    \n                  . Accessed 1 June 2016"},{"key":"637_CR29","unstructured":"SMT-COMP 2012, competition results. \n                    http:\/\/smt-exec.org\/\n                    \n                  . Accessed 1 June 2016"},{"key":"637_CR30","unstructured":"Cok, D.R.: The SMT-LIB v2 language and tools: a tutorial. \n                    http:\/\/smtlib.github.io\/jSMTLIB\/SMTLIBTutorial.pdf\n                    \n                   (2013). Accessed 1 June 2016"},{"key":"637_CR31","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard version 2.0. \n                    http:\/\/smtlib.cs.uiowa.edu\/papers\/smt-lib-reference-v2.0-r12.09.09.pdf\n                    \n                   (2012). Accessed 1 June 2016"},{"key":"637_CR32","unstructured":"CVC3 user manual. \n                    http:\/\/www.cs.nyu.edu\/acsys\/cvc3\/doc\/user_doc.html\n                    \n                  . Accessed 1 June 2016"},{"key":"637_CR33","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/27633.27634","volume":"18","author":"C Batini","year":"1986","unstructured":"Batini, C., Lenzerini, M., Navathe, S.B.: A comparative analysis of methodologies for database schema integration. ACM Comput. Surv. 18, 323\u2013364 (1986). \n                    https:\/\/doi.org\/10.1145\/27633.27634","journal-title":"ACM Comput. Surv."},{"key":"637_CR34","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/s007780100057","volume":"10","author":"E Rahm","year":"2001","unstructured":"Rahm, E., Bernstein, P.A.: A survey of approaches to automatic schema matching. VLDB J. 10, 334\u2013350 (2001). \n                    https:\/\/doi.org\/10.1007\/s007780100057","journal-title":"VLDB J."},{"key":"637_CR35","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-023X(99)00044-0","volume":"33","author":"W-S Li","year":"2000","unstructured":"Li, W.-S., Clifton, C.: SEMINT: a tool for identifying attribute correspondences in heterogeneous databases using neural networks. Data Knowl. Eng. 33, 49\u201384 (2000). \n                    https:\/\/doi.org\/10.1016\/S0169-023X(99)00044-0","journal-title":"Data Knowl. Eng."},{"key":"637_CR36","doi-asserted-by":"publisher","unstructured":"Lee, M.-L., Ling, T.W.: Resolving constraint conflicts in the integration of entity-relationship schemas. In: Proceedings of Conceptual Modeling\u2014ER\u201997, 16th International Conference on Conceptual Modeling, pp. 394\u2013407 (1997). \n                    https:\/\/doi.org\/10.1007\/3-540-63699-4_32","DOI":"10.1007\/3-540-63699-4_32"},{"key":"637_CR37","volume-title":"Database Systems: The Complete Book","author":"H Garcia-Molina","year":"2008","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database Systems: The Complete Book, 2nd edn. Prentice Hall Press, Upper Saddle River (2008)","edition":"2"},{"key":"637_CR38","doi-asserted-by":"publisher","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: Proceedings of 22nd IEEE\/ACM International Conference on Automated Software Engineering, pp. 547\u2013548 (2007). \n                    https:\/\/doi.org\/10.1145\/1321631.1321737","DOI":"10.1145\/1321631.1321737"},{"key":"637_CR39","doi-asserted-by":"publisher","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL class diagrams using constraint programming. In: Proceedings of IEEE International Conference on Software Testing Verification and Validation (ICSTW), pp. 73\u201380 (2008). \n                    https:\/\/doi.org\/10.1109\/ICSTW.2008.54","DOI":"10.1109\/ICSTW.2008.54"},{"key":"637_CR40","doi-asserted-by":"publisher","unstructured":"Clavel, M., Egea, M., De Dios, M.A.G.: Checking unsatisfiability for OCL constraints. In: Proceedings of the Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS (2009). \n                    https:\/\/doi.org\/10.14279\/tuj.eceasst.24.334","DOI":"10.14279\/tuj.eceasst.24.334"},{"key":"637_CR41","unstructured":"The Yices SMT Solver. \n                    http:\/\/yices.csl.sri.com\/\n                    \n                  . Accessed 1 June 2016"},{"key":"637_CR42","doi-asserted-by":"crossref","unstructured":"Bry, F., Decker, H., Manthey, R.: A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. In: Proceedings of Advances in Database Technology (EDBT), International Conference on Extending Database Technology, pp. 488\u2013505 (1988)","DOI":"10.1007\/3-540-19074-0_69"},{"key":"637_CR43","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2006.11.025","volume":"174","author":"M Bidoit","year":"2007","unstructured":"Bidoit, M., Colazzo, D.: Testing XML constraint satisfiability. Electron. Notes Theor. Comput. Sci. 174, 45\u201361 (2007). \n                    https:\/\/doi.org\/10.1016\/j.entcs.2006.11.025","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"637_CR44","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Log. J. IGPL 8, 339\u2013365 (2000). \n                    https:\/\/doi.org\/10.1093\/jigpal\/8.3.339","journal-title":"Log. J. IGPL"},{"key":"637_CR45","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0306-4379(02)00010-8","volume":"28","author":"A Formica","year":"2003","unstructured":"Formica, A.: Satisfiability of object-oriented database constraints with set and bag attributes. Inform. Syst. 28, 213\u2013224 (2003). \n                    https:\/\/doi.org\/10.1016\/S0306-4379(02)00010-8","journal-title":"Inform. Syst."},{"key":"637_CR46","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10817-013-9278-5","volume":"51","author":"JC Blanchette","year":"2013","unstructured":"Blanchette, J.C., B\u00f6hme, S., Paulson, L.C.: Extending sledgehammer with SMT solvers. J. Autom. Reason. 51, 109\u2013128 (2013). \n                    https:\/\/doi.org\/10.1007\/s10817-013-9278-5","journal-title":"J. Autom. Reason."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0637-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0637-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0637-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T15:05:58Z","timestamp":1558710358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0637-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,24]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["637"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0637-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2017,11,24]]},"assertion":[{"value":"17 July 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 October 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 November 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 November 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}