Hendrik Decker

Proceedings of the Hybrid Artificial Intelligent Systems - 7th International Conference, 2012

2011

Inconsistency-Tolerant Integrity Checking.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2011

Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, 5th International Workshop, 2011

Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate Inconsistency.

[BibT_eX]

[DOI]

M. Remedios Pallardó-Lozoya

Proceedings of the 11th International Conference on Quality Software, 2011

Scalable Data Management in Distributed Information Systems.

[BibT_eX]

[DOI]

José-Ramón García-Escrivá

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011

Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics.

[BibT_eX]

[DOI]

Proceedings of the Knowlege-Based and Intelligent Information and Engineering Systems, 2011

Inconsistency-tolerant Eliminations of Integrity Violations.

[BibT_eX]

Proceedings of the ICSOFT 2011, 2011

Causes for inconsistency-tolerant schema update management.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

Causes of the Violation of Integrity Constraints for Supporting the Quality of Databases.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

Consistent Explanations of Answers to Queries in Inconsistent Knowledge Bases.

[BibT_eX]

Proceedings of the Explanation-aware Computing, 2011

Flexible Repairs for Improving the Integrity of Databases.

[BibT_eX]

[DOI]

Proceedings of the 2011 Database and Expert Systems Applications, 2011

Partial Repairs That Tolerate Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2011

Enabling Business Rules for Concurrent Transactions.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on P2P, 2011

2010

Answers that Have Integrity.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases - 4th International Workshops, 2010

Revisiting and Improving a Result on Integrity Preservation by Concurrent Transactions.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Toward a Uniform Cause-Based Approach to Inconsistency-Tolerant Database Semantics.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2010

Basic Causes for the Inconsistency Tolerance of Query Answering and Integrity Checking.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2010

2009

Business Rules for Concurrent E-commerce Transactions.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009

Managing Risks by Integrity Constraints and Integrity Checking.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - 4th International Conference, 2009

Modeling and Monitoring the Quality of Data by Integrity Constraints and Integrity Checking.

[BibT_eX]

Proceedings of the ICSOFT 2009, 2009

Modeling, Measuring and Monitoring the Quality of Information.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

Flexible Integrity Checking of Hard and Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2009

Database Integrity Checking.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies: Concepts, 2009

2008

Classifying integrity checking methods with regard to inconsistency tolerance.

[BibT_eX]

[DOI]

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Integrity Dangers in Certification-Based Replication Protocols.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Extending Middleware Protocols for Database Replication with Integrity Support.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols.

[BibT_eX]

[DOI]

Emili Miedes

Proceedings of the Euro-Par 2008, 2008

Towards a Dynamic Inconsistency-Tolerant Schema Maintenance.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 19th International Conference, 2008

2007

<i>k</i>-bound GSI: a flexible database replication protocol.

[BibT_eX]

[DOI]

J. R. Juárez-Rodríguez

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Isolating Transactions on Replicated Content Going Mobile.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Mobile Data Management (MDM 2007), 2007

Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation.

[BibT_eX]

[DOI]

Proceedings of the Software and Data Technologies - Second International Conference, 2007

Inconsistency-Tolerant Knowledge Assimilation.

[BibT_eX]

Proceedings of the ICSOFT 2007, 2007

Getting Rid of Straitjackets for Flexible Integrity Checking.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

Recovery Protocols for Replicated Databases - A Survey.

[BibT_eX]

[DOI]

Luis H. García-Muñoz

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

Revisiting Hot Passive Replication.

[BibT_eX]

[DOI]

Proceedings of the The Second International Conference on Availability, 2007

2006

A Closer Look at Database Replication Middleware Architectures for Enterprise Applications.

[BibT_eX]

[DOI]

Proceedings of the Trends in Enterprise Application Architecture, 2006

Integrity Checking for Uncertain Data.

[BibT_eX]

[DOI]

Proceedings of the Second Twente Data Management Workshop (TDM 2006) on Uncertainty in Databases, 2006

Managing Transaction Conflicts in Middleware-based Database Replication Architectures.

[BibT_eX]

[DOI]

Jerónimo Pla-Civera

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Can Integrity Tolerate Inconsistency?

[BibT_eX]

Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

A Relaxed Approach to Integrity and Inconsistency in Databases.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2006

A Protocol for Reconciling Recovery and High-Availability in Replicated Databases.

[BibT_eX]

[DOI]

J. R. Juárez-Rodríguez

Proceedings of the Computer and Information Sciences, 2006

Avenues to Flexible Data Integrity Checking.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

An Integrity Semantics for Open World Databases.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

Trying to Cater for Replication Consistency and Integrity of Highly Available Data.

[BibT_eX]

[DOI]

J. R. Juárez-Rodríguez

Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

Middleware-Based Data Replication: Some History and Future Trends.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

Boosting the Availability of Information Systems by Data Replication.

[BibT_eX]

[DOI]

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Checking Violation Tolerance of Approaches to Database Integrity.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information Systems, 4th International Conference, 2006

2005

A Middleware Architecture for Supporting Adaptable Replication of Enterprise Application Data.

[BibT_eX]

[DOI]

Proceedings of the Trends in Enterprise Application Architecture, VLDB Workshop, 2005

Paraconsistent Reasoning for the Semantic Web.

[BibT_eX]

Proceedings of the International Semantic Web Conference, 2005

CLOB: Communication Support for Efficient Replicated Database Recovery.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Workshop on Parallel, 2005

Extending Wide-Area Replication Support with Mobility and Improved Recovery.

[BibT_eX]

[DOI]

Félix García-Neiva

Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

MADIS: A Slim Middleware for Database Replication.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Wide-Area Replication Support for Global Data Repositories.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity.

[BibT_eX]

[DOI]

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

A Case for Paraconsistent Logic as Foundation of Future Information Systems.

[BibT_eX]

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

Database Replication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

Principles of Advanced Database Integrity Checking.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004

Augmenting Web-Based Collaboration with Adaptive Replication and Mobility.

[BibT_eX]

Proceedings of the Engineering Advanced Web Applications: Proceedings of Workshops in connection with the 4th International Conference on Web Engineering (ICWE 2004), 2004

An Analytical Design of a Practical Replication Protocol for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Replication for Web-Based Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004

A Distributed Web Information Systems Platform Supporting High Responsiveness and Fault Tolerance.

[BibT_eX]

Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

2003

COPLA: A Platform for Eager and Lazy Replication in Networked Databases.

[BibT_eX]

Proceedings of the ICEIS 2003, 2003

Enhancing the Availability of Networked Database Services by Replication and Consistency Maintenance.

[BibT_eX]

[DOI]

Antonio Calero Monteagudo

Paco Castro

Pablo Galdámez

Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

2002

Mobile Middleware for Voice/Data-Integrated Internet Communication.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Mobile Data Management (MDM 2002), 2002

GlobData: A Platform for Supporting Multiple Consistency Modes.

[BibT_eX]

María del Carmen Bañuls

Proceedings of the Information Systems and Databases (ISDB 2002), 2002

Flexible Management of Consistency and Availability of Networked Data Replications.

[BibT_eX]

[DOI]

Pablo Galdámez

María del Carmen Bañuls

Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

COPLA* - a Middleware for Distributed Databases.

[BibT_eX]

Antonio Calero Monteagudo

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

Translating Advanced Integrity Checking Technology to SQL.

[BibT_eX]

Proceedings of the Database Integrity: Challenges and Solutions, 2002

2001

Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Databases, 2001

Soundcheck for SQL.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2001

A General Procedure to Test Containment of Conjunctive Queries.

[BibT_eX]

Proceedings of the 14th International Conference on Applications of Prolog, 2001

Integrating Voice and Data Services for Mobile Internet Collaboration with the MOVE Middleware Architecture.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

2000

Enabling Quality-of-Service Management for Voice/Data-Integrated Mobile Communication.

[BibT_eX]

Michael Wallbaum

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Transaction Trees for Knowledge Revision.

[BibT_eX]

[DOI]

Laura Mota-Herranz

Proceedings of the Flexible Query Answering Systems, 2000

1999

A Mobile Middleware Component Providing Voice over IP Services to Mobile Users.

[BibT_eX]

[DOI]

Proceedings of the Multimedia Applications, Services and Techniques, 1999

Flexible Quality-of-Service Technology for Supporting Voice/Data-Integrated Nomadic Networking.

[BibT_eX]

[DOI]

Michael Krautgärtner

Proceedings of the Flexible Working - New Network Technologies, 1999

1998

Some Notes on Knowledge Assimilation in Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Transactions and Change in Logic Databases, 1998

1997

Abduction for Knowledge Assimilation in Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), 1997

1996

An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

How to Tackle Schema Validation by View Updating.

[BibT_eX]

[DOI]

Ernest Teniente

Toni Urpí

Proceedings of the Advances in Database Technology, 1996

1995

Hypothetical Query Answering in First-Order Databases.

[BibT_eX]

Proceedings of the Fifth Scandinavian Conference on Artificial Intelligence, 1995

1994

A Slick Procedure for Integrity Checking in Deductive Databases.

[BibT_eX]

Proceedings of the Logic Programming, 1994

Comparing and Synthesizing Integrity Checking Methods for Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Data Engineering, 1994

Sustained Models and Sustained Answers in First-Order Databases.

[BibT_eX]

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Integrity Checking in Deductive Databases - the Ultimate Method?

[BibT_eX]

Proceedings of the 5th Australasian Database Conference, 1994

1993

A Mechanism for Verification of Knowledge Base Scheme Specifications.

[BibT_eX]

Francisco Marqués

Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993

A Prolog-like Paradigm for Reasoning in First-Order Theories.

[BibT_eX]

Proceedings of the 8th Italian Conference on Logic Programming, 1993

Improving Integrity Checking by Compiling Derivation Paths.

[BibT_eX]

Proceedings of the Advances in Database Research, 1993

1992

A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases.

[BibT_eX]

Georg Nüssel

Proceedings of the Third International Workshop on the Deductive Approach to Information Systems and Databases, 1992

Knowledge Assimilation in Deductive Databases - An Overview.

[BibT_eX]

Proceedings of the Third International Workshop on the Deductive Approach to Information Systems and Databases, 1992

Foundations of first-order databases.

[BibT_eX]

Proceedings of the CNKBS'92, 1992

1991

On Generalized Cover Axioms.

[BibT_eX]

Proceedings of the Logic Programming, 1991

Consistency Checking by Abduction.

[BibT_eX]

Proceedings of the Kurzfassungen des 3. GI-Workshops "Grundlagen von Datenbanken", 1991

On Explanations in Deductive Databases.

[BibT_eX]

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories.

[BibT_eX]

Proceedings of the Second International Workshop on the Deductive Approach to Information Systems and Databases, 1991

1990

Drawing Updates From Derivations.

[BibT_eX]

[DOI]

Proceedings of the ICDT'90, 1990

Über das "Update"-Problem in Deduktiven Datenbanken.

[BibT_eX]

Proceedings of the Kurzfassungen des 2. Workshops "Grundlagen von Datenbanken", 1990

A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution.

[BibT_eX]

Lawrence Cavedon

Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 1990

1989

The Range Form of Databases and Queries or: How to Avoid Floundering.

[BibT_eX]

[DOI]

Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989

Generalizing Allowedness While Retaining Completeness of SLDNF-Resolution.

[BibT_eX]

[DOI]

Lawrence Cavedon

Proceedings of the CSL '89, 1989

1988

Domain-Independent and Range-Restricted Formulas and Deductives Databases.

[BibT_eX]

Proceedings of the SPLT'88, 1988

A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.

[BibT_eX]

[DOI]

François Bry

Rainer Manthey

Proceedings of the Advances in Database Technology, 1988

Préserver l'intégrité d'une base de données déductive: une méthode et son implementation.

[BibT_eX]

François Bry

Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988

1986

Some Steps Towards a DBMS-based KBMS.

[BibT_eX]

Proceedings of the Information Processing 86, 1986

Integrity Enforcement on Deductive Databases.

[BibT_eX]

Proceedings of the Expert Database Systems, 1986

1984

Simulation and Verification - A Combined Approach to the Development of Software Systems.

[BibT_eX]

Angelika Zobel

Proceedings of the Simulation in Research and Development, 1984

Rechnergestützter Entwurf von Software-Systemen mit homogenen Werkzeugen.

[BibT_eX]

Proceedings of the Entwurf großer Software-Systeme, 1984

1982

Ein formales Modell der graphischen Darstellung von Daten.

[BibT_eX]

[DOI]

PhD thesis, 1982

Modeling and Simulating Nets of Agencies with BORIS.

[BibT_eX]

[DOI]

Jürgen Geissler

Proceedings of the Adequate Modeling of Systems, 1982

Performance Evaluation of Nets of Agencies with BORIS.

[BibT_eX]