BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Decker:Hendrik

Contributed to:

KEOD 20122012
PPDP 20082008
SAC 20072007
PDP 20052005
ICEIS v1 20032003
PADL 20012001
JICSLP 19961996
ICLP 19941994
ICLP 19911991
CSL 19891989

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.