default search action
Hendrik Decker
Person information
- affiliation: Polytechnic University of Valencia, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [j3]Hendrik Decker:
Inconsistency-Tolerant Database Repairs and Simplified Repair Checking by Measure-Based Integrity Checking. Trans. Large Scale Data Knowl. Centered Syst. 34: 153-183 (2017) - [c122]Hendrik Decker, Sanjay Misra:
Database Inconsistency Measures and Their Applications. ICIST 2017: 254-265 - [e12]Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Hendrik Decker:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Special Issue on Consistency and Inconsistency in Data-Centric Applications. Lecture Notes in Computer Science 10620, Springer 2017, ISBN 978-3-662-55946-8 [contents] - 2016
- [j2]Rubén de Juan-Marín, Hendrik Decker, José Enrique Armendáriz-Iñigo, José M. Bernabéu-Aubán, Francesc D. Muñoz-Escoí:
Scalability approaches for causal multicast: a survey. Computing 98(9): 923-947 (2016) - [c121]Hendrik Decker, Leticia Pascual-Miret, Sanjay Misra:
Repair Checking by Integrity Checking. DEXA Workshops 2016: 134-138 - [c120]Hendrik Decker, Sanjay Misra:
Measure-Based Repair Checking by Integrity Checking. ICCSA (5) 2016: 530-543 - [e11]Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Hendrik Decker, Lenka Lhotská, Sebastian Link:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV - Special Issue on Database- and Expert-Systems Applications. Lecture Notes in Computer Science 9510, Springer 2016, ISBN 978-3-662-49213-0 [contents] - 2015
- [c119]Hendrik Decker, Francesc D. Muñoz-Escoí, Sanjay Misra:
Data Consistency: Toward a Terminological Clarification. ICCSA (5) 2015: 206-220 - [e10]Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland R. Wagner, Hendrik Decker:
Database and Expert Systems Applications - 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part I. Lecture Notes in Computer Science 9261, Springer 2015, ISBN 978-3-319-22848-8 [contents] - [e9]Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland R. Wagner, Hendrik Decker:
Database and Expert Systems Applications - 26th International Conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9262, Springer 2015, ISBN 978-3-319-22851-8 [contents] - [e8]Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Hendrik Decker, Lenka Lhotská, Sebastian Link:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII - Special Issue on Database- and Expert-Systems Applications. Lecture Notes in Computer Science 8980, Springer 2015, ISBN 978-3-662-46484-7 [contents] - 2014
- [c118]Alfredo Cuzzocrea, Hendrik Decker, Francesc D. Muñoz-Escoí:
Scalable Uncertainty-Tolerant Business Rules. HAIS 2014: 179-190 - [e7]Hendrik Decker, Lenka Lhotská, Sebastian Link, Marcus Spies, Roland R. Wagner:
Database and Expert Systems Applications - 25th International Conference, DEXA 2014, Munich, Germany, September 1-4, 2014. Proceedings, Part I. Lecture Notes in Computer Science 8644, Springer 2014, ISBN 978-3-319-10072-2 [contents] - [e6]Hendrik Decker, Lenka Lhotská, Sebastian Link, Marcus Spies, Roland R. Wagner:
Database and Expert Systems Applications - 25th International Conference, DEXA 2014, Munich, Germany, September 1-4, 2014. Proceedings, Part II. Lecture Notes in Computer Science 8645, Springer 2014, ISBN 978-3-319-10084-5 [contents] - 2013
- [c117]Hendrik Decker, Rubén de Juan-Marín:
Inconsistency-Tolerant Belief Revision for Distributed Decision Support. 3PGCIC 2013: 387-393 - [c116]Hendrik Decker:
Answers That Have Quality. ICCSA (2) 2013: 543-558 - [c115]Hendrik Decker:
A Measured Evolution of Database Integrity. MEDI 2013: 78-91 - [c114]Hendrik Decker, Francesc D. Muñoz-Escoí:
Inconsistency-Tolerant Business Rules in Distributed Information Systems. OTM Workshops 2013: 322-331 - [c113]Hendrik Decker:
Minimizing Risks of Decision Making by Inconsistency-Tolerant Integrity Management. OTM Workshops 2013: 556-565 - [e5]Hendrik Decker, Lenka Lhotská, Sebastian Link, Josef Basl, A Min Tjoa:
Database and Expert Systems Applications - 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I. Lecture Notes in Computer Science 8055, Springer 2013, ISBN 978-3-642-40284-5 [contents] - [e4]Hendrik Decker, Lenka Lhotská, Sebastian Link, Josef Basl, A Min Tjoa:
Database and Expert Systems Applications - 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II. Lecture Notes in Computer Science 8056, Springer 2013, ISBN 978-3-642-40172-5 [contents] - 2012
- [c112]Alfredo Cuzzocrea, Hendrik Decker:
Non-linear Data Stream Compression: Foundations and Theoretical Results. HAIS (1) 2012: 622-634 - [c111]Hendrik Decker:
Datalog for Inconsistency-tolerant Knowledge Engineering. KEOD 2012: 296-301 - [c110]Hendrik Decker:
New Measures for Maintaining the Quality of Databases. ICCSA (4) 2012: 170-185 - [c109]Hendrik Decker:
Checking and Repairing the Quality of Information in Databases by Inconsistency Metrics. ICIQ 2012: 139-150 - [c108]Hendrik Decker:
Maintaining Desirable Properties of Information by Inconsistency-Tolerant Integrity Management. UNISCON 2012: 13-24 - [c107]Hendrik Decker:
Axiomatizing Inconsistency Metrics for Integrity Maintenance. KES 2012: 1243-1252 - [c106]Alfredo Cuzzocrea, Hendrik Decker, Francesc D. Muñoz-Escoí:
Modeling and Managing Uncertainty in Concurrent Database Transactions. KES 2012: 1263-1272 - [c105]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 - 2011
- [j1]Hendrik Decker, Davide Martinenghi:
Inconsistency-Tolerant Integrity Checking. IEEE Trans. Knowl. Data Eng. 23(2): 218-234 (2011) - [c104]Hendrik Decker, Rubén de Juan-Marín:
Enabling Business Rules for Concurrent Transactions. 3PGCIC 2011: 207-212 - [c103]Hendrik Decker:
Partial Repairs That Tolerate Inconsistency. ADBIS 2011: 389-400 - [c102]Hendrik Decker:
Flexible Repairs for Improving the Integrity of Databases. DEXA Workshops 2011: 145-149 - [c101]Hendrik Decker:
Consistent Explanations of Answers to Queries in Inconsistent Knowledge Bases. ExaCt 2011: 71-80 - [c100]Hendrik Decker:
Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases. ICCSA (5) 2011: 283-292 - [c99]Hendrik Decker:
Causes for inconsistency-tolerant schema update management. ICDE Workshops 2011: 157-161 - [c98]Hendrik Decker:
Inconsistency-tolerant Eliminations of Integrity Violations. ICSOFT (2) 2011: 390-395 - [c97]Hendrik Decker:
Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics. KES (2) 2011: 548-558 - [c96]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 - [c95]Hendrik Decker:
Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate Inconsistency. QSIC 2011: 192-197 - [c94]Hendrik Decker:
Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity. SDKB 2011: 149-173 - 2010
- [c93]Hendrik Decker:
Basic Causes for the Inconsistency Tolerance of Query Answering and Integrity Checking. DEXA Workshops 2010: 318-322 - [c92]Hendrik Decker, Francesc D. Muñoz-Escoí:
Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions. OTM Workshops 2010: 297-306 - [c91]Hendrik Decker:
Toward a Uniform Cause-Based Approach to Inconsistency-Tolerant Database Semantics. OTM Conferences (2) 2010: 983-998 - [c90]Hendrik Decker:
Answers that Have Integrity. SDKB 2010: 54-72
2000 – 2009
- 2009
- [c89]Hendrik Decker:
Flexible Integrity Checking of Hard and Soft Constraints. DEXA Workshops 2009: 437-441 - [c88]Hendrik Decker, Davide Martinenghi:
Modeling, Measuring and Monitoring the Quality of Information. ER Workshops 2009: 212-221 - [c87]Hendrik Decker:
Modeling and Monitoring the Quality of Data by Integrity Constraints and Integrity Checking. ICSOFT (2) 2009: 207-214 - [c86]Hendrik Decker:
Managing Risks by Integrity Constraints and Integrity Checking. ICSOFT (Selected Papers) 2009: 233-246 - [c85]Hendrik Decker:
Business Rules for Concurrent E-commerce Transactions. CEC 2009: 407-414 - [p3]Hendrik Decker, Davide Martinenghi:
Database Integrity Checking. Database Technologies: Concepts, Methodologies, Tools, and Applications 2009: 212-220 - 2008
- [c84]Hendrik Decker:
Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization. DEXA 2008: 89-96 - [c83]Hendrik Decker:
Towards a Dynamic Inconsistency-Tolerant Schema Maintenance. ER Workshops 2008: 89-98 - [c82]Emili Miedes, Francesc D. Muñoz-Escoí, Hendrik Decker:
Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols. Euro-Par 2008: 394-403 - [c81]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 - [c80]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 - [c79]Hendrik Decker, Davide Martinenghi:
Classifying integrity checking methods with regard to inconsistency tolerance. PPDP 2008: 195-204 - 2007
- [c78]Rubén de Juan-Marín, Hendrik Decker, Francesc D. Muñoz-Escoí:
Revisiting Hot Passive Replication. ARES 2007: 93-102 - [c77]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 - [c76]Hendrik Decker, Davide Martinenghi:
Getting Rid of Straitjackets for Flexible Integrity Checking. DEXA Workshops 2007: 360-364 - [c75]Hendrik Decker:
Inconsistency-Tolerant Knowledge Assimilation. ICSOFT (PL/DPS/KE/MUSE) 2007: 198-205 - [c74]Hendrik Decker:
Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation. ICSOFT/ENASE (Selected Papers) 2007: 320-331 - [c73]José Enrique Armendáriz-Iñigo, Hendrik Decker, Francesc D. Muñoz-Escoí:
Isolating Transactions on Replicated Content Going Mobile. MDM 2007: 377-381 - [c72]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 - 2006
- [c71]Hendrik Decker, Davide Martinenghi:
Checking Violation Tolerance of Approaches to Database Integrity. ADVIS 2006: 139-148 - [c70]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 - [c69]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 - [c68]Hendrik Decker, Davide Martinenghi:
Avenues to Flexible Data Integrity Checking. DEXA Workshops 2006: 425-429 - [c67]Hendrik Decker:
An Integrity Semantics for Open World Databases. DEXA Workshops 2006: 532-536 - [c66]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 - [c65]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 - [c64]Hendrik Decker, Davide Martinenghi:
A Relaxed Approach to Integrity and Inconsistency in Databases. LPAR 2006: 287-301 - [c63]Hendrik Decker, Davide Martinenghi:
Can Integrity Tolerate Inconsistency? SEBD 2006: 32-39 - [c62]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 - [c61]Hendrik Decker, Davide Martinenghi:
Integrity Checking for Uncertain Data. TDM 2006: 41-48 - [c60]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 - 2005
- [c59]Hendrik Decker:
A Case for Paraconsistent Logic as Foundation of Future Information Systems. CAiSE Workshops (2) 2005: 451-461 - [c58]Hendrik Decker:
Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity. DEXA Workshops 2005: 813-817 - [c57]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 - [c56]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 - [c55]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 - [c54]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 - [c53]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 - [c52]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 - [r2]Hendrik Decker:
Principles of Advanced Database Integrity Checking. Encyclopedia of Information Science and Technology (IV) 2005: 2297-2302 - [r1]Francesc D. Muñoz-Escoí, Luis Irún-Briz, Hendrik Decker:
Database Replication Protocols. Encyclopedia of Database Technologies and Applications 2005: 153-157 - 2004
- [c51]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 - [c50]Jordi Bataller, Hendrik Decker, Luis Irún-Briz, Francesc D. Muñoz-Escoí:
Replication for Web-Based Collaboration. DEXA Workshops 2004: 247-253 - [c49]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 - [c48]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 - 2003
- [c47]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 - [c46]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 Networked Databases. ICEIS (1) 2003: 273-278 - 2002
- [c45]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 - [c44]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 - [c43]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 - [c42]Hendrik Decker:
Mobile Middleware for Voice/Data-Integrated Internet Communication. Mobile Data Management 2002: 171 - [p2]Hendrik Decker:
Translating Advanced Integrity Checking Technology to SQL. Database Integrity 2002: 203-249 - [e3]Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai:
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 [contents] - 2001
- [c41]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 - [c40]Miguel R. Penabad, Nieves R. Brisaboa, José R. Paramá, Hendrik Decker:
A General Procedure to Test Containment of Conjunctive Queries. INAP 2001: 1-10 - [c39]Hendrik Decker:
Soundcheck for SQL. PADL 2001: 214-228 - [c38]Hendrik Decker:
Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases. Semantics in Databases 2001: 63-81 - 2000
- [c37]Laura Mota-Herranz, Matilde Celma, Hendrik Decker:
Transaction Trees for Knowledge Revision. FQAS 2000: 182-191 - [c36]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
1990 – 1999
- 1999
- [c35]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 - [p1]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 - 1998
- [c34]Hendrik Decker:
Some Notes on Knowledge Assimilation in Deductive Databases. Transactions and Change in Logic Databases 1998: 249-286 - [e2]Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov:
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 [contents] - 1997
- [c33]Hendrik Decker:
Abduction for Knowledge Assimilation in Deductive Databases. SCCC 1997: 48-57 - 1996
- [c32]Hendrik Decker, Ernest Teniente, Toni Urpí:
How to Tackle Schema Validation by View Updating. EDBT 1996: 535-549 - [c31]Hendrik Decker:
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. JICSLP 1996: 157-169 - 1995
- [c30]Juan Carlos Casamayor, Hendrik Decker:
Hypothetical Query Answering in First-Order Databases. SCAI 1995: 368-372 - [e1]Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí:
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 266, Gesellschaft für Mathematik und Datenverarbeitung MbH 1995, ISBN 3-88457-266-0 [contents] - 1994
- [c29]Matilde Celma, Hendrik Decker:
Integrity Checking in Deductive Databases - the Ultimate Method? Australasian Database Conference 1994: 136-146 - [c28]Hendrik Decker, Juan Carlos Casamayor:
Sustained Models and Sustained Answers in First-Order Databases. GULP-PRODE (2) 1994: 32-46 - [c27]Matilde Celma, Carlos García, Laura Mota-Herranz, Hendrik Decker:
Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. ICDE 1994: 214-222 - [c26]Hendrik Decker, Matilde Celma:
A Slick Procedure for Integrity Checking in Deductive Databases. ICLP 1994: 456-469 - 1993
- [c25]Matilde Celma, Juan Carlos Casamayor, Hendrik Decker:
Improving Integrity Checking by Compiling Derivation Paths. Australian Database Conference 1993: 145-160 - [c24]Hendrik Decker, Juan Carlos Casamayor:
A Prolog-like Paradigm for Reasoning in First-Order Theories. GULP 1993: 217-236 - [c23]Hendrik Decker, Juan Carlos Casamayor:
Sustained Models and Sustained Answers in First-Order Databases. DAISD 1993: 267-286 - [c22]Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker:
A Mechanism for Verification of Knowledge Base Scheme Specifications. EUROVAV 1993: 103-115 - 1992
- [c21]Hendrik Decker:
Foundations of first-order databases. CNKBS 1992: 6-8 - [c20]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 - [c19]Hendrik Decker:
Knowledge Assimilation in Deductive Databases - An Overview. DAISD 1992: 217-247 - 1991
- [c18]Hendrik Decker:
On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories. DAISD 1991: 149-173 - [c17]Hendrik Decker:
On Explanations in Deductive Databases. FMLDO 1991: 173-185 - [c16]Hendrik Decker:
Consistency Checking by Abduction. Grundlagen von Datenbanken 1991: 23 - [c15]Hendrik Decker:
On Generalized Cover Axioms. ICLP 1991: 693-707 - 1990
- [c14]Lawrence Cavedon, Hendrik Decker:
A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution. DAISD 1990: 153-171 - [c13]Hendrik Decker:
Über das "Update"-Problem in Deduktiven Datenbanken. Grundlagen von Datenbanken 1990: 23-26 - [c12]Hendrik Decker:
Drawing Updates From Derivations. ICDT 1990: 437-451
1980 – 1989
- 1989
- [c11]Hendrik Decker, Lawrence Cavedon:
Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution. CSL 1989: 98-115 - [c10]Hendrik Decker:
The Range Form of Databases and Queries or: How to Avoid Floundering. ÖGAI 1989: 114-123 - 1988
- [c9]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 - [c8]François Bry, Hendrik Decker, Rainer Manthey:
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 - [c7]Hendrik Decker:
Domain-Independent and Range-Restricted Formulas and Deductives Databases. SPLT 1988: 385-398 - 1986
- [c6]Hendrik Decker:
Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 - [c5]Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace:
Some Steps Towards a DBMS-based KBMS. IFIP Congress 1986: 1061-1067 - 1984
- [c4]Hendrik Decker:
Rechnergestützter Entwurf von Software-Systemen mit homogenen Werkzeugen. Entwurf großer Software-Systeme 1984: 353-373 - [c3]Hendrik Decker, Angelika Zobel:
Simulation and Verification - A Combined Approach to the Development of Software Systems. IMACS European Simulation Meeting 1984: 209-216 - 1982
- [b1]Hendrik Decker:
Ein formales Modell der graphischen Darstellung von Daten. Kaiserslautern University of Technology, Germany, 1982, pp. 1-163 - [c2]Hendrik Decker:
Performance Evaluation of Nets of Agencies with BORIS. IMACS World Congress 1982: 133-139 - [c1]Hendrik Decker, Jürgen Geissler:
Modeling and Simulating Nets of Agencies with BORIS. International Working Conference on Model Realism 1982: 52-61
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint