default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDErnest Teniente
Person information
- affiliation: Polytechnic University of Catalonia, Barcelona, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c84]José Francisco Crespo
, Martí Juanola, Xavier Oriol, Martí Recalde, Ernest Teniente:
IMP-Logics: a metamodel for analysis and transformations of Datalog programs. MoDELS (Companion) 2024: 51-55- 2023
- [j28]Xavier Oriol, Ernest Teniente, Marc Maynou, Sergi Nadal:
Generating valid test data through data cloning. Future Gener. Comput. Syst. 144: 179-191 (2023) - [j27]Marc Vila, Maria-Ribera Sancho, Ernest Teniente, Xavier Vilajosana:
Critical infrastructure awareness based on IoT context data. Internet Things 23: 100855 (2023) - [c83]Marc Vila, Maria-Ribera Sancho, Ernest Teniente:
Modeling Context-Aware Events and Responses in an IoT Environment. CAiSE 2023: 71-87 - [c82]David Arnaiz, Marc Vila, Eduard Alarcón, Francesc Moll, Maria-Ribera Sancho, Ernest Teniente:
Relating Context and Self Awareness in the Internet of Things. CoopIS 2023: 384-402 - [c81]Marc Vila, Maria-Ribera Sancho, Ernest Teniente:
Monitoring, IoT Devices, and Semantics. PerCom Workshops 2023: 309-312 - [i4]José Manuel Sánchez Ruiz, Francisco José Domínguez Mayo, Xavier Oriol, José Francisco Crespo, David Benavides, Ernest Teniente:
A Benchmarking Proposal for DevOps Practices on Open Source Software Projects. CoRR abs/2304.14790 (2023) - 2022
- [j26]Montserrat Estañol, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Ernest Teniente, Rafael M. Gasca:
Reasoning on the usage control security policies over data artifact business process models. Comput. Sci. Inf. Syst. 19(2): 547-572 (2022) - [j25]Marc Vila, Victor Casamayor-Pujol, Schahram Dustdar, Ernest Teniente:
Edge-to-cloud sensing and actuation semantics in the industrial Internet of Things. Pervasive Mob. Comput. 87: 101699 (2022) - [c80]Ernest Teniente:
IoT Semantic Data Integration through Ontologies. SCC 2022: 357-358 - [e10]Claudio Agostino Ardagna, Hongyi Bian, Carl K. Chang, Rong N. Chang, Ernesto Damiani, Schahram Dustdar, Jordi Marco, Munindar P. Singh, Ernest Teniente, Robert Ward, Zhongjie Wang, Fatos Xhafa, Jia Zhang:
IEEE International Conference on Services Computing, SCC 2022, Barcelona, Spain, July 10-16, 2022. IEEE 2022, ISBN 978-1-6654-8146-5 [contents] - 2021
- [j24]Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente:
Embedding reactive behavior into artifact-centric business process models. Future Gener. Comput. Syst. 117: 97-110 (2021) - [c79]Toon Koppelaars, Xavier Oriol, Ernest Teniente, Sergi Curto, Eduard Pujol:
UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion. CIKM 2021: 3152-3156 - [c78]Marc Vila, Maria-Ribera Sancho, Ernest Teniente, Xavier Vilajosana:
Semantics for Connectivity Management in IoT Sensing. ER 2021: 297-311 - [e9]Marcello La Rosa, Shazia W. Sadiq, Ernest Teniente:
Advanced Information Systems Engineering - 33rd International Conference, CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings. Lecture Notes in Computer Science 12751, Springer 2021, ISBN 978-3-030-79381-4 [contents] - 2020
- [c77]Marc Vila, Maria-Ribera Sancho, Ernest Teniente:
XYZ Monitor: IoT Monitoring of Infrastructures Using Microservices. ICSOC Workshops 2020: 472-484
2010 – 2019
- 2019
- [j23]Montserrat Estañol, Jorge Munoz-Gama, Josep Carmona, Ernest Teniente:
Conformance checking in UML artifact-centric business process models. Softw. Syst. Model. 18(4): 2531-2555 (2019) - [j22]Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente:
OCLFO: first-order expressive OCL constraints for efficient integrity checking. Softw. Syst. Model. 18(4): 2655-2678 (2019) - [c76]Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente:
Automatic Business Process Model Extension to Repair Constraint Violations. ICSOC 2019: 102-118 - [c75]Victor-Alejandro Ortiz, Montserrat Estañol, Maria-Cristina V. Marinescu, Maria-Ribera Sancho, Ernest Teniente, Carmen Rueda:
A Semantic Model to Fight Social Exclusion. MoDELS (Companion) 2019: 730-731 - [c74]Xavier Oriol, Ernest Teniente:
Adapting Integrity Checking Techniques for Concurrent Operation Executions. SAM 2019: 235-248 - 2018
- [j21]Montserrat Estañol, Maria-Ribera Sancho, Ernest Teniente:
Ensuring the semantic correctness of a BAUML artifact-centric BPM. Inf. Softw. Technol. 93: 147-162 (2018) - [c73]Xavier Oriol, Ernest Teniente:
An Ontology-Based Framework for Describing Discoverable Data Services. CAiSE 2018: 220-235 - [e8]Ernest Teniente, Matthias Weidlich:
Business Process Management Workshops - BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers. Lecture Notes in Business Information Processing 308, Springer 2018, ISBN 978-3-319-74029-4 [contents] - 2017
- [j20]Xavier Oriol, Ernest Teniente:
Simplification of UML/OCL schemas for efficient reasoning. J. Syst. Softw. 128: 130-149 (2017) - [j19]Arne Bröring, Stefan Schmid, Corina Kim Schindhelm, Abdelmajid Khelil, Sebastian Käbisch, Denis Kramer, Danh Le Phuoc, Jelena Mitic, Darko Anicic, Ernest Teniente:
Enabling IoT Ecosystems through Platform Interoperability. IEEE Softw. 34(1): 54-61 (2017) - [c72]Jordi Cabot, Cristina Gómez, Maria-Ribera Sancho, Ernest Teniente:
30 Years of Contributions to Conceptual Modeling. Conceptual Modeling Perspectives 2017: 7-23 - [c71]Giuseppe De Giacomo, Xavier Oriol, Montserrat Estañol, Ernest Teniente:
Linking Data and BPMN Processes to Achieve Executable Models. CAiSE 2017: 612-628 - [c70]Xavier Oriol, Ernest Teniente:
OCLUNIV: Expressive UML/OCL Conceptual Schemas for Finite Reasoning. ER 2017: 354-369 - [c69]Montserrat Estañol, Esperanza Marcos, Xavier Oriol, Francisco J. Pérez Blanco, Ernest Teniente, Juan M. Vara:
Validation of Service Blueprint Models by Means of Formal Simulation Techniques. ICSOC 2017: 80-95 - [c68]Montserrat Estañol, Mirjana Mazuran, Xavier Oriol, Letizia Tanca, Ernest Teniente:
Process Conformance Checking by Relaxing Data Dependencies. SEBD 2017: 90 - [c67]Giuseppe De Giacomo, Domenico Lembo, Xavier Oriol, Domenico Fabio Savo, Ernest Teniente:
Practical Update Management in Ontology-Based Data Access. ISWC (1) 2017: 225-242 - [e7]Jordi Cabot, Cristina Gómez, Oscar Pastor, Maria-Ribera Sancho, Ernest Teniente:
Conceptual Modeling Perspectives. Springer 2017, ISBN 978-3-319-67270-0 [contents] - 2016
- [c66]Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente:
GROM: a General Rewriter of Semantic Mappings. EDBT 2016: 592-595 - [c65]Xavier Oriol, Ernest Teniente, Guillem Rull:
TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. EDBT 2016: 632-635 - 2015
- [j18]Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente:
Ontology-based mappings. Data Knowl. Eng. 98: 8-29 (2015) - [j17]Xavier Oriol, Ernest Teniente, Albert Tort:
Computing repairs for constraint violations in UML/OCL conceptual schemas. Data Knowl. Eng. 99: 39-58 (2015) - [j16]Guillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí:
AuRUS: explaining the validation of UML/OCL conceptual schemas. Softw. Syst. Model. 14(2): 953-980 (2015) - [c64]Montserrat Estañol, Maria-Ribera Sancho, Ernest Teniente:
Verification and Validation of UML Artifact-Centric Business Process Models. CAiSE 2015: 434-449 - [c63]Xavier Oriol, Ernest Teniente:
Incremental Checking of OCL Constraints with Aggregates Through SQL. ER 2015: 199-213 - [e6]Slimane Hammoudi, Leszek A. Maciaszek, Ernest Teniente:
ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 1, Barcelona, Spain, 27-30 April, 2015. SciTePress 2015, ISBN 978-989-758-096-3 [contents] - [e5]Slimane Hammoudi, Leszek A. Maciaszek, Ernest Teniente:
ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 2, Barcelona, Spain, 27-30 April, 2015. SciTePress 2015, ISBN 978-989-758-097-0 [contents] - [e4]Slimane Hammoudi, Leszek A. Maciaszek, Ernest Teniente:
ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 3, Barcelona, Spain, 27-30 April, 2015. SciTePress 2015, ISBN 978-989-758-098-7 [contents] - [e3]Slimane Hammoudi, Leszek A. Maciaszek, Ernest Teniente, Olivier Camp, José Cordeiro:
Enterprise Information Systems - 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers. Lecture Notes in Business Information Processing 241, Springer 2015, ISBN 978-3-319-29132-1 [contents] - 2014
- [c62]Montserrat Estañol, Anna Queralt, Maria-Ribera Sancho, Ernest Teniente:
Specifying Artifact-Centric Business Process Models in UML. BMSD 2014: 62-81 - [c61]Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente:
Verifiable UML Artifact-Centric Business Process Models. CIKM 2014: 1289-1298 - [c60]Xavier Oriol, Ernest Teniente, Albert Tort:
Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas. ER 2014: 232-245 - [c59]Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente:
Logic Foundations of the OCL Modelling Language. JELIA 2014: 657-664 - [c58]Xavier Oriol, Ernest Teniente:
Incremental Checking of OCL Constraints through SQL Queries. OCL@MoDELS 2014: 23-32 - [c57]Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff:
Panel Discussion: Proposals for Improving OCL. OCL@MoDELS 2014: 83-99 - [i3]Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente:
Verifiable UML Artifact-Centric Business Process Models (Extended Version). CoRR abs/1408.5094 (2014) - 2013
- [j15]Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí:
Validation of schema mappings with nested queries. Comput. Sci. Inf. Syst. 10(1): 79-104 (2013) - [j14]Carles Farré, Anna Queralt, Guillem Rull, Ernest Teniente, Toni Urpí:
Automated reasoning on UML conceptual schemas with derived information and queries. Inf. Softw. Technol. 55(9): 1529-1550 (2013) - [c56]Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente:
Semantic-Based Mappings. ER 2013: 255-269 - [c55]Montserrat Estañol, Maria-Ribera Sancho, Ernest Teniente:
Reasoning on UML Data-Centric Business Process Models. ICSOC 2013: 437-445 - [c54]Guillem Rull, Philip A. Bernstein, Ivo Garcia dos Santos, Yannis Katsis, Sergey Melnik, Ernest Teniente:
Query containment in entity SQL. SIGMOD Conference 2013: 1169-1172 - [i2]Diego Calvanese, Sven Hartmann, Ernest Teniente:
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). Dagstuhl Reports 3(5): 43-77 (2013) - 2012
- [j13]Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente:
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73: 1-22 (2012) - [j12]Anna Queralt, Ernest Teniente:
Verification and Validation of UML Conceptual Schemas with OCL Constraints. ACM Trans. Softw. Eng. Methodol. 21(2): 13:1-13:41 (2012) - [c53]Montserrat Estañol, Anna Queralt, Maria-Ribera Sancho, Ernest Teniente:
Artifact-Centric Business Process Models in UML. Business Process Management Workshops 2012: 292-303 - [c52]Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente:
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics 2012 - 2010
- [c51]Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí:
AuRUS: Automated Reasoning on UML/OCL Schemas. ER 2010: 438-444 - [e2]Ernest Teniente, Silvia Abrahão:
XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), Valencia, Spain, September 7-10, 2010. Actas. IBERGARCETA Pub. S.L. 2010, ISBN 978-84-92812-51-6 [contents]
2000 – 2009
- 2009
- [j11]Jordi Cabot, Ernest Teniente:
Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw. 82(9): 1459-1478 (2009) - [c50]Anna Queralt, Ernest Teniente:
Reasoning on UML Conceptual Schemas with Operations. CAiSE 2009: 47-62 - [c49]Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí:
MVT: a schema mapping validation tool. EDBT 2009: 1120-1123 - [c48]Anna Queralt, Ernest Teniente:
Decidable Reasoning in UML Schemas with Constraints. JISBD 2009: 354-254 - 2008
- [j10]Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí:
Validation of mappings between schemas. Data Knowl. Eng. 66(3): 414-437 (2008) - [j9]Anna Queralt, Ernest Teniente:
A platform independent model for the electronic marketplace domain. Softw. Syst. Model. 7(2): 219-235 (2008) - [j8]Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente:
Improving the definition of general constraints in UML. Softw. Syst. Model. 7(4): 469-486 (2008) - [c47]Anna Queralt, Ernest Teniente:
Validation of UML Conceptual Schemas with Operations. CAiSE Forum 2008: 101-104 - [c46]Dolors Costal, Cristina Gómez, Anna Queralt, Ernest Teniente:
Drawing Preconditions of Operation Contracts from Conceptual Schemas. CAiSE 2008: 266-280 - [c45]Anna Queralt, Ernest Teniente:
Decidable Reasoning in UML Schemas with Constraints. CAiSE 2008: 281-295 - [c44]Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí:
Providing Explanations for Database Schema Validation. DEXA 2008: 660-667 - [c43]Carles Farré, Guillem Rull, Ernest Teniente, Toni Urpí:
SVTe: a tool to validate database schemas giving explanations. DBTest 2008: 9 - 2007
- [j7]Jordi Cabot, Ernest Teniente:
Transformation techniques for OCL constraints. Sci. Comput. Program. 68(3): 179-195 (2007) - [c42]Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí:
Computing explanations for unlively queries in databases. CIKM 2007: 955-958 - [c41]Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí:
Containment of Conjunctive Queries over Databases with Null Values. ICDT 2007: 389-403 - [c40]Jordi Cabot, Ernest Teniente:
Comprobación eficiente de restricciones de integridad en OCL. JISBD 2007: 391-392 - 2006
- [j6]Anna Queralt, Ernest Teniente:
Specifying the Semantics of Operation Contracts in Conceptual Modeling. J. Data Semant.: 33-56 (2006) - [c39]Jordi Cabot, Ernest Teniente:
Incremental Evaluation of OCL Constraints. CAiSE 2006: 81-95 - [c38]Dolors Costal, Cristina Gómez, Ernest Teniente:
Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas. CAiSE Forum 2006 - [c37]Jordi Cabot, Ernest Teniente:
Constraint Support in MDA Tools: A Survey. ECMDA-FA 2006: 256-267 - [c36]Anna Queralt, Ernest Teniente:
Reasoning on UML Class Diagrams with OCL Constraints. ER 2006: 497-512 - [c35]Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente:
Facilitating the Definition of General Constraints in UML. MoDELS 2006: 260-274 - [c34]Jordi Cabot, Ernest Teniente:
Transforming OCL constraints: a context change approach. SAC 2006: 1196-1201 - 2005
- [j5]Carles Farré, Ernest Teniente, Toni Urpí:
Checking query containment with the CQC method. Data Knowl. Eng. 53(2): 163-223 (2005) - [c33]Jordi Cabot, Ernest Teniente:
Computing the Relevant Instances That May Violate an OCL Constraint. CAiSE 2005: 48-62 - [c32]Anna Queralt, Ernest Teniente:
On the Semantics of Operation Contracts in Conceptual Modeling. CAiSE Short Paper Proceedings 2005 - [c31]Jordi Cabot, Ernest Teniente:
Generación Automática de Restricciones de Integridad: Estado del Arte. DSDM 2005 - [e1]Jaelson Castro, Ernest Teniente:
Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings of the CAiSE'05 Workshops, Vol. 2. FEUP Edições, Porto 2005, ISBN 972-752-077-4 [contents] - 2004
- [c30]Carles Farré, Ernest Teniente, Toni Urpí:
A New Approach for Checking Schema Validation Properties. DEXA 2004: 77-86 - [c29]Jordi Cabot, Ernest Teniente:
Determining the Structural Events That May Violate an Integrity Constraint. UML 2004: 320-334 - [c28]Ernest Teniente, Carles Farré, Toni Urpí, Carlos Beltrán, David Gañán:
SVT: Schema Validation Tool for Microsoft SQL-Server. VLDB 2004: 1349-1352 - 2003
- [j4]Enric Mayol, Ernest Teniente:
Consistency preserving updates in deductive databases. Data Knowl. Eng. 47(1): 61-103 (2003) - [j3]Ernest Teniente, Toni Urpí:
On the abductive or deductive nature of database schema validation and update processing problems. Theory Pract. Log. Program. 3(3): 287-327 (2003) - [c27]Carles Farré, Ernest Teniente, Toni Urpí:
Query Containment with Negated IDB Predicates. ADBIS 2003: 411-429 - [c26]Jordi Cabot, Antoni Olivé, Ernest Teniente:
Entity Types Derived by Symbol-Generating Rules. ER 2003: 376-389 - [c25]Carles Farré, Ernest Teniente, Toni Urpí:
Handling Existential Derived Predicates in View Updating. ICLP 2003: 148-162 - [c24]Jordi Cabot, Antoni Olivé, Ernest Teniente:
Representing Temporal Information in UML. UML 2003: 44-59 - [p1]Stefano Paraboschi, Giuseppe Sindoni, Elena Baralis, Ernest Teniente:
Materialized Views in Multidimensional Databases. Multidimensional Databases 2003: 222-251 - [i1]Ernest Teniente, Toni Urpí:
On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems. CoRR cs.DB/0312046 (2003) - 2002
- [j2]Antoni Olivé, Ernest Teniente:
Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. 27(6): 391-409 (2002) - [c23]Dolors Costal, Maria-Ribera Sancho, Ernest Teniente:
Understanding Redundancy in UML Models for Object-Oriented Analysis. CAiSE 2002: 659-674 - 2001
- [c22]Dolors Costal, Antoni Olivé, Ernest Teniente:
Relationship Type Refinement in Conceptual Models with Multiple Classification. ER 2001: 397-411 - 2000
- [c21]Enric Mayol, Ernest Teniente:
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance. FoIKS 2000: 192-212
1990 – 1999
- 1999
- [c20]Enric Mayol, Ernest Teniente:
Addressing Efficiency Issues During the Process of Integrity Maintenance. DEXA 1999: 270-281 - [c19]Carles Farré, Ernest Teniente, Toni Urpí:
The Constructive Method for Query Containment Checking. DEXA 1999: 583-593 - [c18]Enric Mayol, Ernest Teniente:
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. ER (Workshops) 1999: 62-73 - 1998
- [c17]Carles Farré, Ernest Teniente, Toni Urpí:
Query Containment Checking as a View Updating Problem. DEXA 1998: 310-321 - [c16]Enric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí, Carles Farré:
Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract). JIDBD 1998: 3-10 - 1997
- [c15]Enric Mayol, Ernest Teniente:
Structuring the Process of Integrity Maintenance. DEXA 1997: 262-275 - [c14]Dolors Costal, Ernest Teniente, Toni Urpí:
An Approach to Obtain Intensional Translation for Consistent View Updating. DOOD 1997: 175-192 - [c13]Carles Farré, Ernest Teniente, Toni Urpí:
Comprobación del Contenimiento de Consultas mediante Actualización de Vistas. JIDBD 1997: 91-100 - [c12]Enric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí:
FOLRE: A Deductive Database System for the Integrated Treatment of Updates. Rules in Database Systems 1997: 35-50 - [c11]Piero Fraternali, Ernest Teniente, Toni Urpí:
Validating Active Rules by Planning. Rules in Database Systems 1997: 181-196 - [c10]Elena Baralis, Stefano Paraboschi, Ernest Teniente:
Materialized Views Selection in a Multidimensional Database. VLDB 1997: 156-165 - 1996
- [c9]Dolors Costal, Ernest Teniente, Toni Urpí, Carles Farré:
Handling Conceptual Model Validation by Planning. CAiSE 1996: 255-271 - [c8]Hendrik Decker, Ernest Teniente, Toni Urpí:
How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549 - [c7]Ernest Teniente, Carles Farré, Carme Martín, Enric Mayol, Joan Antoni Pastor, Jaume Sistac, Toni Urpí:
FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos. JIDBD 1996: 132-141 - 1995
- [j1]Ernest Teniente, Antoni Olivé:
Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241 (1995) - [c6]Ernest Teniente:
An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases. Deductive Databases / Abduction in Deductive Databases 1995: 111-125 - [c5]