Hendrik Decker - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Inconsistency-Tolerant Integrity CheckingHendrik Decker, Davide Martinenghi. tkde, 23(2):218-234, 2011. [doi]

Causes for inconsistency-tolerant schema update managementHendrik Decker. icde 2011: 157-161 [doi]

Causes of the Violation of Integrity Constraints for Supporting the Quality of DatabasesHendrik Decker. iccsa 2011: 283-292 [doi]

2010

Basic Causes for the Inconsistency Tolerance of Query Answering and Integrity CheckingHendrik Decker. dexaw 2010: 318-322 [doi]

Revisiting and Improving a Result on Integrity Preservation by Concurrent TransactionsHendrik Decker, Francesc D. Muñoz-Escoí. otm 2010: 297-306 [doi]

Answers that Have IntegrityHendrik Decker. sdb 2011: 54-72 [doi]

Toward a Uniform Cause-Based Approach to Inconsistency-Tolerant Database SemanticsHendrik Decker. otm 2010: 983-998 [doi]

2009

2008

Classifying integrity checking methods with regard to inconsistency toleranceHendrik Decker, Davide Martinenghi. ppdp 2008: 195-204 [doi]

Extending Inconsistency-Tolerant Integrity Checking by Semantic Query OptimizationHendrik Decker. DEXA 2008: 89-96 [doi]

Towards a Dynamic Inconsistency-Tolerant Schema MaintenanceHendrik Decker. er 2008: 89-98 [doi]

Reducing Transaction Abort Rates with Prioritized Atomic Multicast ProtocolsEmili Miedes, Francesc D. Muñoz-Escoí, Hendrik Decker. europar 2008: 394-403 [doi]

Extending Middleware Protocols for Database Replication with Integrity SupportFrancesc 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. otm 2008: 607-624 [doi]

Integrity Dangers in Certification-Based Replication ProtocolsMarí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. otm 2008: 924-933 [doi]

2007

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

::::k::::-bound GSI: a flexible database replication protocolJosé 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í. SAC 2007: 556-560 [doi]

Revisiting Hot Passive ReplicationRubén de Juan-Marín, Hendrik Decker, Francesc D. Muñoz-Escoí. IEEEares 2007: 93-102 [doi]

Inconsistency-Tolerant Knowledge AssimilationHendrik Decker. ICSOFT 2007: 198-205

Getting Rid of Straitjackets for Flexible Integrity CheckingHendrik Decker, Davide Martinenghi. dexaw 2007: 360-364 [doi]

Recovery Protocols for Replicated Databases - A SurveyLuis H. García-Muñoz, José Enrique Armendáriz-Iñigo, Hendrik Decker, Francesc D. Muñoz-Escoí. aina 2007: 220-227 [doi]

2006

A Protocol for Reconciling Recovery and High-Availability in Replicated DatabasesJosé 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. iscis 2006: 634-644 [doi]

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

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

Boosting the Availability of Information Systems by Data ReplicationJosé Enrique Armendáriz-Iñigo, Hendrik Decker, Francesc D. Muñoz-Escoí. caise 2006: [doi]

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

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

An Integrity Semantics for Open World DatabasesHendrik Decker. dexaw 2006: 532-536 [doi]

A Relaxed Approach to Integrity and Inconsistency in DatabasesHendrik Decker, Davide Martinenghi. lpar 2006: 287-301 [doi]

Checking Violation Tolerance of Approaches to Database IntegrityHendrik Decker, Davide Martinenghi. advis 2006: 139-148 [doi]

Integrity Checking for Uncertain DataHendrik Decker, Davide Martinenghi. tdm 2006: 41-48 [doi]

Avenues to Flexible Data Integrity CheckingHendrik Decker, Davide Martinenghi. dexaw 2006: 425-429 [doi]

Managing Transaction Conflicts in Middleware-based Database Replication ArchitecturesFrancesc 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. srds 2006: 401-410 [doi]

2005

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

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

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

A Case for Paraconsistent Logic as Foundation of Future Information SystemsHendrik Decker. caise 2005: 451-461

Principles of Advanced Database Integrity CheckingHendrik Decker. In Mehdi Khosrow-Pour, editor, Encyclopedia of Information Science and Technology (5 Volumes). pages 2297-2302, Idea Group, 2005.

Total Unbiased Multivalued Paraconsistent Semantics of Database IntegrityHendrik Decker. dexaw 2005: 813-817 [doi]

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

MADIS: A Slim Middleware for Database ReplicationLuis 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í. europar 2005: 349-359 [doi]

Database Replication ProtocolsFrancesc D. Muñoz-Escoí, Luis Irún-Briz, Hendrik Decker. In Laura C. Rivero, Jorge Horacio Doorn, Viviana E. Ferraggine, editors, Encyclopedia of Database Technologies and Applications. pages 153-157, Idea Group, 2005.

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

2004

2003

Enhancing the Availability of Networked Database Services by Replication and Consistency MaintenanceHendrik 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. dexaw 2003: 531-535 [doi]

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

2002

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)Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai, editors, Volume 95 of Datalogiske Skrifter, Roskilde University, Roskilde, Denmark, 2002.

Translating Advanced Integrity Checking Technology to SQLHendrik Decker. In Database Integrity. pages 203-249, 2002.

Mobile Middleware for Voice/Data-Integrated Internet CommunicationHendrik Decker. MDM 2002: 171 [doi]

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

Flexible Management of Consistency and Availability of Networked Data ReplicationsFrancesc 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. fqas 2002: 289-300 [doi]

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

2001

2000

Transaction Trees for Knowledge RevisionLaura Mota-Herranz, Matilde Celma, Hendrik Decker. fqas 2000: 182-191

Enabling Quality-of-Service Management for Voice/Data-Integrated Mobile CommunicationMichael Wallbaum, Hendrik Decker. icdcsw 2000:

1999

Flexible Quality-of-Service Technology for Supporting Voice/Data-Integrated Nomadic NetworkingHendrik Decker, Michael Krautgärtner. In Flexible Working - New Network Technologies. pages 215-224, 1999. [doi]

A Mobile Middleware Component Providing Voice over IP Services to Mobile UsersMichael Wallbaum, Dominique Carrega, Michael Krautgärtner, Hendrik Decker. ecmast 1999: 552-563 [doi]

1998

Some Notes on Knowledge Assimilation in Deductive DatabasesHendrik Decker. dagstuhl 1998: 249-286 [doi]

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 DeBurkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov, editors, Volume 1472 of Lecture Notes in Computer Science, Springer, 1998.

1997

Abduction for Knowledge Assimilation in Deductive DatabasesHendrik Decker. sccc 1997: 48-57 [doi]

1996

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

How to Tackle Schema Validation by View UpdatingHendrik Decker, Ernest Teniente, Toni Urpí. edbt 1996: 535-549 [doi]

1995

Hypothetical Query Answering in First-Order DatabasesJuan Carlos Casamayor, Hendrik Decker. scai 1995: 368-372

1994

Integrity Checking in Deductive Databases - the Ultimate Method?Matilde Celma, Hendrik Decker. adc 1994: 136-146

Comparing and Synthesizing Integrity Checking Methods for Deductive DatabasesMatilde Celma, Carlos Garcia, Laura Mota-Herranz, Hendrik Decker. icde 1994: 214-222 [doi]

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

Sustained Models and Sustained Answers in First-Order DatabasesHendrik Decker, Juan Carlos Casamayor. agp 1994: 32-46

1993

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

Improving Integrity Checking by Compiling Derivation PathsMatilde Celma, Juan Carlos Casamayor, Hendrik Decker. adc 1993: 145-160

Sustained Models and Sustained Answers in First-Order DatabasesHendrik Decker, Juan Carlos Casamayor. daisd 1993: 267-286

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

1992

Knowledge Assimilation in Deductive Databases - An OverviewHendrik Decker. daisd 1992: 217-247

Foundations of first-order databasesHendrik Decker. cnkbs 1992: 6-8

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

1991

On Explanations in Deductive DatabasesHendrik Decker. fmldo 1991: 173-185

On Generalized Cover AxiomsHendrik Decker. ICLP 1991: 693-707

Consistency Checking by AbductionHendrik Decker. gvd 1991: 23

On the Declarative, Operational and Procedural Semantics of Disjunctive Computational TheoriesHendrik Decker. daisd 1991: 149-173

1990

A Weak Allowedness Condition that Ensures Completeness of SLDNF-ResolutionLawrence Cavedon, Hendrik Decker. daisd 1990: 153-171

Über das Update -Problem in Deduktiven DatenbankenHendrik Decker. gvd 1990: 23-26

Drawing Updates From DerivationsHendrik Decker. icdt 1990: 437-451 [doi]

1989

The Range Form of Databases and Queries or: How to Avoid FlounderingHendrik Decker. ogai 1989: 114-123

Generalizing Allowedness While Retaining Completeness of SLDNF-ResolutionHendrik Decker, Lawrence Cavedon. csl 1990: 98-115

1988

A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive DatabasesFrançois Bry, Hendrik Decker, Rainer Manthey. edbt 1988: 488-505 [doi]

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

Domain-Independent and Range-Restricted Formulas and Deductives DatabasesHendrik Decker. jfplc 1988: 385-398

1986

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

Integrity Enforcement on Deductive DatabasesHendrik Decker. treds 1986: 381-395

1984

Rechnergestützter Entwurf von Software-Systemen mit homogenen WerkzeugenHendrik Decker. gacm 1985: 353-373

Simulation and Verification - A Combined Approach to the Development of Software SystemsHendrik Decker, Angelika Zobel. imacs 1984: 209-216

1982

Performance Evaluation of Nets of Agencies with BORISHendrik Decker. imacs 1982: 133-139

PreviousNext