Travelled to:
1 × Italy
1 × Korea
1 × USA
2 × France
2 × Germany
2 × Spain
Collaborated with:
∅ F.D.Muñoz-Escoí D.Martinenghi M.Celma L.Cavedon L.Irún-Briz J.M.Bernabéu-Aubán J.E.Armendáriz-Iñigo J.R.Juárez-Rodríguez J.R.G.d.Mendívil F.Castro-Company J.E.Peidro M.I.Ruiz-Fuertes
Talks about:
databas (5) replic (3) integr (3) inconsist (2) general (2) deduct (2) toler (2) check (2) soundcheck (1) recoveri (1)
Person: Hendrik Decker
DBLP: Decker:Hendrik
Contributed to:
Wrote 10 papers:
- KEOD-2012-Decker #datalog #information management
- Datalog for Inconsistency-tolerant Knowledge Engineering (HD), pp. 296–301.
- PPDP-2008-DeckerM #consistency #nondeterminism
- Classifying integrity checking methods with regard to inconsistency tolerance (HD, DM), pp. 195–204.
- SAC-2007-Armendariz-InigoJMDM #bound #database #flexibility #protocol #replication
- k-bound GSI: a flexible database replication protocol (JEAI, JRJR, JRGdM, HD, FDME), pp. 556–560.
- PDP-2005-Castro-CompanyPRIDM #communication #database #named #performance
- CLOB: Communication Support for Efficient Replicated Database Recovery (FCC, JEP, MIRF, LIB, HD, FDME), pp. 314–321.
- ICEIS-v1-2003-Irun-BrizMDB #database #framework #lazy evaluation #named #replication
- COPLA: A Platform for Eager and Lazy Replication in Networked Databases (LIB, FDME, HD, JMBA), pp. 273–278.
- PADL-2001-Decker #sql
- Soundcheck for SQL (HD), pp. 214–228.
- JICSLP-1996-Decker #abduction #database #deduction #maintenance
- An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases (HD), pp. 157–169.
- ICLP-1994-DeckerC #database #deduction
- A Slick Procedure for Integrity Checking in Deductive Databases (HD, MC), pp. 456–469.
- ICLP-1991-Decker #axiom #on the
- On Generalized Cover Axioms (HD), pp. 693–707.
- CSL-1989-DeckerC
- Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution (HD, LC), pp. 98–115.