Hendrik Decker

Alfredo Cuzzocrea, Hendrik Decker: Non-linear Data Stream Compression: Foundations and Theoretical Results. HAIS (1) 2012: 622-634

Hendrik Decker: Datalog for Inconsistency-tolerant Knowledge Engineering. KEOD 2012: 296-301

Hendrik Decker: New Measures for Maintaining the Quality of Databases. ICCSA (4) 2012: 170-185

Hendrik Decker: Axiomatizing Inconsistency Metrics for Integrity Maintenance. KES 2012: 1243-1252

Alfredo Cuzzocrea, Hendrik Decker, Francesc D. Muñoz-Escoí: Modeling and Managing Uncertainty in Concurrent Database Transactions. KES 2012: 1263-1272

Alfredo Cuzzocrea, Rubén de Juan-Marín, Hendrik Decker, Francesc D. Muñoz-Escoí: Managing Uncertainty in Databases and Scaling It Up to Concurrent Transactions. SUM 2012: 30-43

Hendrik Decker, Davide Martinenghi: Inconsistency-Tolerant Integrity Checking. IEEE Trans. Knowl. Data Eng. 23(2): 218-234 (2011)

Hendrik Decker, Rubén de Juan-Marín: Enabling Business Rules for Concurrent Transactions. 3PGCIC 2011: 207-212

Hendrik Decker: Partial Repairs That Tolerate Inconsistency. ADBIS 2011: 389-400

Hendrik Decker: Flexible Repairs for Improving the Integrity of Databases. DEXA Workshops 2011: 145-149

Hendrik Decker: Consistent Explanations of Answers to Queries in Inconsistent Knowledge Bases. ExaCt 2011: 71-80

Hendrik Decker: Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases. ICCSA (5) 2011: 283-292

Hendrik Decker: Causes for inconsistency-tolerant schema update management. ICDE Workshops 2011: 157-161

Hendrik Decker: Inconsistency-tolerant Eliminations of Integrity Violations. ICSOFT (2) 2011: 390-395

Hendrik Decker: Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics. KES (2) 2011: 548-558

M. Remedios Pallardó-Lozoya, Javier Esparza Peidro, José-Ramón García-Escrivá, Hendrik Decker, Francesc D. Muñoz-Escoí: Scalable Data Management in Distributed Information Systems. OTM Workshops 2011: 208-217

Hendrik Decker: Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate Inconsistency. QSIC 2011: 192-197

Hendrik Decker: Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity. SDKB 2011: 149-173

Hendrik Decker: Basic Causes for the Inconsistency Tolerance of Query Answering and Integrity Checking. DEXA Workshops 2010: 318-322

Hendrik Decker, Francesc D. Muñoz-Escoí: Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions. OTM Workshops 2010: 297-306

Hendrik Decker: Toward a Uniform Cause-Based Approach to Inconsistency-Tolerant Database Semantics. OTM Conferences (2) 2010: 983-998

Hendrik Decker: Answers that Have Integrity. SDKB 2010: 54-72

Hendrik Decker, Davide Martinenghi: Database Integrity Checking. Database Technologies: Concepts, Methodologies, Tools, and Applications 2009: 212-220

Hendrik Decker: Flexible Integrity Checking of Hard and Soft Constraints. DEXA Workshops 2009: 437-441

Hendrik Decker, Davide Martinenghi: Modeling, Measuring and Monitoring the Quality of Information. ER Workshops 2009: 212-221

Hendrik Decker: Modeling and Monitoring the Quality of Data by Integrity Constraints and Integrity Checking. ICSOFT (2) 2009: 207-214

Hendrik Decker: Business Rules for Concurrent E-commerce Transactions. CEC 2009: 407-414

Hendrik Decker: Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization. DEXA 2008: 89-96

Hendrik Decker: Towards a Dynamic Inconsistency-Tolerant Schema Maintenance. ER Workshops 2008: 89-98

Emili Miedes, Francesc D. Muñoz-Escoí, Hendrik Decker: Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols. Euro-Par 2008: 394-403

Francesc D. Muñoz-Escoí, María Idoia Ruiz-Fuertes, Hendrik Decker, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil: Extending Middleware Protocols for Database Replication with Integrity Support. OTM Conferences (1) 2008: 607-624

María Idoia Ruiz-Fuertes, Francesc D. Muñoz-Escoí, Hendrik Decker, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil: Integrity Dangers in Certification-Based Replication Protocols. OTM Workshops 2008: 924-933

Hendrik Decker, Davide Martinenghi: Classifying integrity checking methods with regard to inconsistency tolerance. PPDP 2008: 195-204

Rubén de Juan-Marín, Hendrik Decker, Francesc D. Muñoz-Escoí: Revisiting Hot Passive Replication. ARES 2007: 93-102

Luis H. García-Muñoz, José Enrique Armendáriz-Iñigo, Hendrik Decker, Francesc D. Muñoz-Escoí: Recovery Protocols for Replicated Databases - A Survey. AINA Workshops (1) 2007: 220-227

Hendrik Decker, Davide Martinenghi: Getting Rid of Straitjackets for Flexible Integrity Checking. DEXA Workshops 2007: 360-364

Hendrik Decker: Inconsistency-Tolerant Knowledge Assimilation. ICSOFT (PL/DPS/KE/MUSE) 2007: 198-205

José Enrique Armendáriz-Iñigo, Hendrik Decker, Francesc D. Muñoz-Escoí: Isolating Transactions on Replicated Content Going Mobile. MDM 2007: 377-381

José Enrique Armendáriz-Iñigo, J. R. Juárez-Rodríguez, José Ramón González de Mendívil, Hendrik Decker, Francesc D. Muñoz-Escoí: k-bound GSI: a flexible database replication protocol. SAC 2007: 556-560

Hendrik Decker, Davide Martinenghi: Checking Violation Tolerance of Approaches to Database Integrity. ADVIS 2006: 139-148

José Enrique Armendáriz-Iñigo, Hendrik Decker, Francesc D. Muñoz-Escoí: Boosting the Availability of Information Systems by Data Replication. CAiSE Forum 2006

José Enrique Armendáriz-Iñigo, Hendrik Decker, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí: Middleware-Based Data Replication: Some History and Future Trends. DEXA Workshops 2006: 390-394

Hendrik Decker, Davide Martinenghi: Avenues to Flexible Data Integrity Checking. DEXA Workshops 2006: 425-429

Hendrik Decker: An Integrity Semantics for Open World Databases. DEXA Workshops 2006: 532-536

José Enrique Armendáriz-Iñigo, J. R. Juárez-Rodríguez, Hendrik Decker, Francesc D. Muñoz-Escoí: Trying to Cater for Replication Consistency and Integrity of Highly Available Data. DEXA Workshops 2006: 553-557

José Enrique Armendáriz-Iñigo, Francesc D. Muñoz-Escoí, Hendrik Decker, J. R. Juárez-Rodríguez, José Ramón González de Mendívil: A Protocol for Reconciling Recovery and High-Availability in Replicated Databases. ISCIS 2006: 634-644

Hendrik Decker, Davide Martinenghi: A Relaxed Approach to Integrity and Inconsistency in Databases. LPAR 2006: 287-301

Hendrik Decker, Davide Martinenghi: Can Integrity Tolerate Inconsistency? SEBD 2006: 32-39

Francesc D. Muñoz-Escoí, Jerónimo Pla-Civera, María Idoia Ruiz-Fuertes, Luis Irún-Briz, Hendrik Decker, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil: Managing Transaction Conflicts in Middleware-based Database Replication Architectures. SRDS 2006: 401-410

Hendrik Decker, Davide Martinenghi: Integrity Checking for Uncertain Data. TDM 2006: 41-48

José Enrique Armendáriz-Iñigo, Hendrik Decker, Francesc D. Muñoz-Escoí, José Ramón González de Mendívil: A Closer Look at Database Replication Middleware Architectures for Enterprise Applications. TEAA 2006: 69-83

Hendrik Decker: A Case for Paraconsistent Logic as Foundation of Future Information Systems. CAiSE Workshops (2) 2005: 451-461

Hendrik Decker: Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity. DEXA Workshops 2005: 813-817

Hendrik Decker, Luis Irún-Briz, Rubén de Juan-Marín, José Enrique Armendáriz-Iñigo, Francesc D. Muñoz-Escoí: Wide-Area Replication Support for Global Data Repositories. DEXA Workshops 2005: 1117-1121

Luis Irún-Briz, Hendrik Decker, Rubén de Juan-Marín, Francisco Castro-Company, José Enrique Armendáriz-Iñigo, Francesc D. Muñoz-Escoí: MADIS: A Slim Middleware for Database Replication. Euro-Par 2005: 349-359

Hendrik Decker, Luis Irún-Briz, Francisco Castro-Company, Félix García-Neiva, Francesc D. Muñoz-Escoí: Extending Wide-Area Replication Support with Mobility and Improved Recovery. ISSADS 2005: 10-20

Francisco Castro-Company, Javier Esparza Peidro, María Idoia Ruiz-Fuertes, Luis Irún-Briz, Hendrik Decker, Francesc D. Muñoz-Escoí: CLOB: Communication Support for Efficient Replicated Database Recovery. PDP 2005: 314-321

Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig: Paraconsistent Reasoning for the Semantic Web. ISWC-URSW 2005: 104-105

José Enrique Armendáriz-Iñigo, Hendrik Decker, Francesc D. Muñoz-Escoí, Luis Irún-Briz, Rubén de Juan-Marín: A Middleware Architecture for Supporting Adaptable Replication of Enterprise Application Data. TEAA 2005: 29-43

Hendrik Decker: Principles of Advanced Database Integrity Checking. Encyclopedia of Information Science and Technology (IV) 2005: 2297-2302

Francesc D. Muñoz-Escoí, Luis Irún-Briz, Hendrik Decker: Database Replication Protocols. Encyclopedia of Database Technologies and Applications 2005: 153-157

Jordi Bataller, Hendrik Decker, Luis Irún-Briz, Francesc D. Muñoz-Escoí: A Distributed Web Information Systems Platform Supporting High Responsiveness and Fault Tolerance. CAiSE Workshops (1) 2004: 79-91

Jordi Bataller, Hendrik Decker, Luis Irún-Briz, Francesc D. Muñoz-Escoí: Replication for Web-Based Collaboration. DEXA Workshops 2004: 247-253

Luis Irún-Briz, Francisco Castro-Company, Hendrik Decker, Francesc D. Muñoz-Escoí: An Analytical Design of a Practical Replication Protocol for Distributed Systems. FORTE Workshops 2004: 248-261

Hendrik Decker, Francesc D. Muñoz-Escoí, Luis Irún-Briz, Jordi Bataller, Pablo Galdámez, Ramón García: Augmenting Web-Based Collaboration with Adaptive Replication and Mobility. ICWE Workshops 2004: 240-252

Hendrik Decker, Francesc D. Muñoz-Escoí, Luis Irún-Briz, Paco Castro, Antonio Calero Monteagudo, Javier Esparza Peidro, Jordi Bataller, Pablo Galdámez, José M. Bernabéu-Aubán: Enhancing the Availability of Networked Database Services by Replication and Consistency Maintenance. DEXA Workshops 2003: 531-535

Luis Irún-Briz, Francesc D. Muñoz-Escoí, Hendrik Decker, José M. Bernabéu-Aubán: COPLA: A Platform for Eager and Lazy Replication in Networed Databases. ICEIS (1) 2003: 273-278

Hendrik Decker: Translating Advanced Integrity Checking Technology to SQL. Database Integrity 2002: 203-249

Javier Esparza Peidro, Antonio Calero Monteagudo, Jordi Bataller, Francesc D. Muñoz-Escoí, Hendrik Decker, José M. Bernabéu-Aubán: COPLA* - a Middleware for Distributed Databases. APLAS 2002: 102-113

Francesc D. Muñoz-Escoí, Luis Irún-Briz, Pablo Galdámez, José M. Bernabéu-Aubán, Jordi Bataller, María del Carmen Bañuls, Hendrik Decker: Flexible Management of Consistency and Availability of Networked Data Replications. FQAS 2002: 289-300

Francesc D. Muñoz-Escoí, Luis Irún-Briz, Pablo Galdámez, Hendrik Decker, Josep Bernabéu, Jordi Bataller, María del Carmen Bañuls: GlobData: A Platform for Supporting Multiple Consistency Modes. ISDB 2002: 104-109

Hendrik Decker: Mobile Middleware for Voice/Data-Integrated Internet Communication. Mobile Data Management 2002: 171

Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai (Eds.): Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC). Datalogiske Skrifter 95, Roskilde University, Roskilde, Denmark 2002

Dominique Carrega, Hendrik Decker, Hervé Muyal, Michael Wallbaum: Integrating Voice and Data Services for Mobile Internet Collaboration with the MOVE Middleware Architecture. DEXA Workshop 2001: 532-536

Miguel R. Penabad, Nieves R. Brisaboa, José R. Paramá, Hendrik Decker: A General Procedure to Test Containment of Conjunctive Queries. INAP 2001: 1-10

Hendrik Decker: Soundcheck for SQL. PADL 2001: 214-228

Hendrik Decker: Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases. Semantics in Databases 2001: 63-81

Laura Mota-Herranz, Matilde Celma, Hendrik Decker: Transaction Trees for Knowledge Revision. FQAS 2000: 182-191

Michael Wallbaum, Hendrik Decker: Enabling Quality-of-Service Management for Voice/Data-Integrated Mobile Communication. ICDCS Workshop on Wireless Networks and Mobile Computing 2000: D87-D93

Hendrik Decker, Michael Krautgärtner: Flexible Quality-of-Service Technology for Supporting Voice/Data-Integrated Nomadic Networking. Flexible Working - New Network Technologies 1999: 215-224

Michael Wallbaum, Dominique Carrega, Michael Krautgärtner, Hendrik Decker: A Mobile Middleware Component Providing Voice over IP Services to Mobile Users. ECMAST 1999: 552-563

Hendrik Decker: Some Notes on Knowledge Assimilation in Deductive Databases. Transactions and Change in Logic Databases 1998: 249-286

Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (Eds.): Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers. Lecture Notes in Computer Science 1472, Springer 1998, isbn 3-540-65305-8

Hendrik Decker: Abduction for Knowledge Assimilation in Deductive Databases. SCCC 1997: 48-57

Hendrik Decker, Ernest Teniente, Toni Urpí: How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549

Hendrik Decker: An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. JICSLP 1996: 157-169

Juan Carlos Casamayor, Hendrik Decker: Hypothetical Query Answering in First-Order Databases. SCAI 1995: 368-372

Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí (Eds.): Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995. GMD-Studien Nr. 266. Gesellschaft für Mathematik und Datenverarbeitung MbH 1995, isbn 3-88457-266-0

Matilde Celma, Hendrik Decker: Integrity Checking in Deductive Databases - the Ultimate Method? Australasian Database Conference 1994: 136-146

Hendrik Decker, Juan Carlos Casamayor: Sustained Models and Sustained Answers in First-Order Databases. GULP-PRODE (2) 1994: 32-46

Matilde Celma, Carlos Garcia, Laura Mota-Herranz, Hendrik Decker: Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. ICDE 1994: 214-222

Hendrik Decker, Matilde Celma: A Slick Procedure for Integrity Checking in Deductive Databases. ICLP 1994: 456-469

Matilde Celma, Juan Carlos Casamayor, Hendrik Decker: Improving Integrity Checking by Compiling Derivation Paths. Australian Database Conference 1993: 145-160

Hendrik Decker, Juan Carlos Casamayor: A Prolog-like Paradigm for Reasoning in First-Order Theories. GULP 1993: 217-236

Hendrik Decker, Juan Carlos Casamayor: Sustained Models and Sustained Answers in First-Order Databases. DAISD 1993: 267-286

Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker: A Mechanism for Verification of Knowledge Base Scheme Specifications. EUROVAV 1993: 103-115

Hendrik Decker: Foundations of first-order databases. CNKBS 1992: 6-8

Georg Nüssel, Hendrik Decker, Matilde Celma, Juan Carlos Casamayor: A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases. DAISD 1992: 199-216

Hendrik Decker: Knowledge Assimilation in Deductive Databases - An Overview. DAISD 1992: 217-247

Hendrik Decker: On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories. DAISD 1991: 149-173

Hendrik Decker: On Explanations in Deductive Databases. FMLDO 1991: 173-185

Hendrik Decker: Consistency Checking by Abduction. Grundlagen von Datenbanken 1991: 23

Hendrik Decker: On Generalized Cover Axioms. ICLP 1991: 693-707

Lawrence Cavedon, Hendrik Decker: A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution. DAISD 1990: 153-171

Hendrik Decker: Über das "Update"-Problem in Deduktiven Datenbanken. Grundlagen von Datenbanken 1990: 23-26

Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451

Hendrik Decker, Lawrence Cavedon: Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution. CSL 1989: 98-115

Hendrik Decker: The Range Form of Databases and Queries or: How to Avoid Floundering. ÖGAI 1989: 114-123

François Bry, Hendrik Decker: Préserver l'intégrité d'une base de données déductive: une méthode et son implementation. BDA 1988: 9-20

François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505

Hendrik Decker: Domain-Independent and Range-Restricted Formulas and Deductives Databases. SPLT 1988: 385-398

Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395

Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace: Some Steps Towards a DBMS-based KBMS. IFIP Congress 1986: 1061-1067

Hendrik Decker: Rechnergestützter Entwurf von Software-Systemen mit homogenen Werkzeugen. Entwurf großer Software-Systeme 1984: 353-373

Hendrik Decker, Angelika Zobel: Simulation and Verification - A Combined Approach to the Development of Software Systems. IMACS European Simulation Meeting 1984: 209-216

Hendrik Decker: Performance Evaluation of Nets of Agencies with BORIS. IMACS World Congress 1982: 133-139

Hendrik Decker, Jürgen Geissler: Modeling and Simulating Nets of Agencies with BORIS. International Working Conference on Model Realism 1982: 52-61