Zobrazeno 1 - 10
of 29
pro vyhledávání: '"TONI URPÍ"'
Publikováno v:
Information and Software Technology. 55:1529-1550
Context It is critical to ensure the quality of a software system in the initial stages of development, and several approaches have been proposed to ensure that a conceptual schema correctly describes the user’s requirements. Objective The main goa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b7d106416eb410932c4b01e18cba6c1f
https://doi.org/10.1016/j.infsof.2013.02.010
https://doi.org/10.1016/j.infsof.2013.02.010
Publikováno v:
Computer Science and Information Systems. 10:79-104
With the emergence of the Web and the wide use of XML for representing data, the ability to map not only flat relational but also nested data has become crucial. The design of schema mappings is a semi-automatic process. A human designer is needed to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::068ee126e8db0e6833e498250eed5a4a
https://doi.org/10.2298/csis120713042r
https://doi.org/10.2298/csis120713042r
Publikováno v:
Data & Knowledge Engineering. 66:414-437
Mappings between schemas are key elements in several contexts such as data exchange, data integration and peer data management systems. In all these contexts, the mapping design process requires the participation of a mapping designer, who needs to b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ccd86919579a621b33c561ec9808b304
https://doi.org/10.1016/j.datak.2008.04.009
https://doi.org/10.1016/j.datak.2008.04.009
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
Universitat Jaume I
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
Universitat Jaume I
The validation and the verification of conceptual schemas have attracted a lot of interest during the last years, and several tools have been developed to automate this process as much as possible. This is achieved, in general, by assessing whether t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d21094f4882f7ec6cdd728b7d255a315
http://hdl.handle.net/2117/28292
http://hdl.handle.net/2117/28292
Publikováno v:
Data & Knowledge Engineering. 53:163-223
We present the Constructive Query Containment (CQC) method to check query containment and query containment under constraints for queries over databases with safe negation in both IDB and EDB subgoals and with or without built-in predicates. The aim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0907a4dc600d93b3f95539497d296340
https://doi.org/10.1016/j.datak.2004.08.002
https://doi.org/10.1016/j.datak.2004.08.002
Autor:
Toni Urpí, Ernest Teniente
Publikováno v:
Theory and Practice of Logic Programming. 3:287-327
We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking, integrity constraint maintenance or condition monitoring can be classified as problems of eith
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::869e4fb56e93dc39bea7161c8173e276
https://doi.org/10.1017/s1471068402001631
https://doi.org/10.1017/s1471068402001631
Publikováno v:
Conceptual Modeling – ER 2010 ISBN: 9783642163722
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58c03aae9f58dd9d956dea2789404148
https://doi.org/10.1007/978-3-642-16373-9_32
https://doi.org/10.1007/978-3-642-16373-9_32
Publikováno v:
EDBT
Schema mappings define relationships between schemas in a declarative way. We demonstrate MVT, a mapping validation tool that allows the designer to ask whether the mapping has certain desirable properties. The answers to these questions will provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::85c2de1258f8ff8c35b55b436177b51d
https://doi.org/10.1145/1516360.1516492
https://doi.org/10.1145/1516360.1516492
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540856535
DEXA
DEXA
We propose a new method for database schema validation that provides an explanation when it determines that a certain desirable property of a database schema does not hold. Explanations are required to give the designer a hint about the changes of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::85498b21fa9806c35b43b458844366d5
https://doi.org/10.1007/978-3-540-85654-2_56
https://doi.org/10.1007/978-3-540-85654-2_56
Publikováno v:
DBTest
We present SVTe, a tool to validate relational database schemas that allows performing several tests to determine the correctness of a schema. When a test is satisfied, our tool provides an example of a database state satisfying the test. Otherwise,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5dd91465fe9c7c3e8f62fc5823d72d9c
https://doi.org/10.1145/1385269.1385281
https://doi.org/10.1145/1385269.1385281