| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christian Laasch, Marc H. Scholl |
Change Management in Objectbases.  |
DAISD  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Maguelonne Teisseire, Pascal Poncelet, Rosine Cicchetti |
IFO2: a Uniform Approach for Information System Modelling. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jennifer Widom, Ashish Gupta 0001, Yehoshua Sagiv, Jeffrey D. Ullman |
Validating Constraints with Partial Information: Research Overview. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones |
Reasoning about the Safety of Information: From Logical Formalization to Operational Definition. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Rainer Manthey |
Reflections on Some Fundamental Issues of Rule-based Incremental Update Propagation. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ernest Teniente, Toni Urpí |
A Common Framework for Classifying and Specifying Deductive Database Updating Problems. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
On Specifying Database Updates (Invited Lecture). |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Alfredo Goñi, Arantza Illarramendi, José Miguel Blanco 0001, Eduardo Mena |
Use of an Object-Based System with Reasoning capabilities to Integrate Relational Databases. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Amílcar Sernadas, Cristina Sernadas |
Object Certification (Invited Lecture). |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Alvaro A. A. Fernandes, Maria L. Barja, Norman W. Paton, M. Howard Williams, Andrew Dinn, Imara P. Diaz, Alia I. Abdelmoty |
ROCK & ROLL: A Deductive Object-Oriented Database System. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ulrike Griefahn, Rainer Manthey |
Update Propagation in Chimera, an Active DOOD Language. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Oscar Díaz |
The Operational Semantics of User-Defined Relationships in Object-Oriented Systems. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Carme Quer |
An Execution Model for change Computation in Deductive Databases. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Joan Antoni Pastor |
Extending the Synthesis of Update Transaction Programs to handle Existential Rules in Deductive Databases. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Xian Ye, Christine Parent, Stefano Spaccapietra |
Derived Objects and Classes in DOOD Systems. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Dietmar Seipel, Helmut Thöne |
DISLOG - A System for in Disjunctive Deductive Databases. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Carme Martín, Jaume Sistac |
Integrity Constraints Checking in Historical Deductive Databases. |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Antoni Olivé (eds.) |
Fith International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1994, September 19-21, 1994, Aiguablava, Costa Brava, Catalonia, Proceedings |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Subhasish Mazumdar |
A Deductive Approach to Semantic Heterogeneity in Multidatabase Systems. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Guido Moerkotte, Holger Müller |
Exploiting Consistency Maintenance for Planning. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Richard Cooper 0001, David Mackenzie |
Integrating Persistence and Deductive Databases. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Robert Demolombe, Andrew J. I. Jones |
Integrity Constraints Revisited (Preliminary version). |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Dolors Costal |
A new Plan Generation Method for Deductive Conceptual Models Validation. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | María C. Fernández-Baizán, Concepción Pérez, Rafael Portaencasa, Eugenio Santos |
Constructing a Hierarchy of Generalization/Specialization from the O.A.S Hierarchy of Formal Classes. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Isidro Ramos, Oscar Pastor 0001, Jose Cuevas, Jaume Devesa |
Objects as Observable Processes. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Antoni Olivé (eds.) |
Fourth International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1993, September 20-22, 1993, Lloret de Mar, Catalonia, Proceedings. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Francisco Marqués, Juan Carlos Casamayor |
Consistency Verification of Deductive Database Schemes. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Hendrik Decker, Juan Carlos Casamayor |
Sustained Models and Sustained Answers in First-Order Databases. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Enric Mayol, Ernest Teniente |
Incorporating Modification Requests in Updating Consistent Knowledge Bases. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Ilias Petrounias, Pericles Loucopoulos |
Design, Implementation and Evaluation of an Application following the Deductive Approach. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Johann Kempe, Gabriele Höfling, Christian Hayler |
History, Survey and Comparison of selected object-oriented and deductive Database Query Languages. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Pericles Loucopoulos |
Information Systems and Enterprise Integration. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Klemens Böhm, Amílcar Sernadas |
Real-Time Object Specification Logic. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Maria-Ribera Sancho |
Explaining the Behaviour of a Deductive Conceptual Model. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Paula Gouveia, Cristina Sernadas |
Reasoning Aspects in Information Systems and Databases. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Janis A. Bubenko Jr. |
Extending the Scope of Information Modelling. |
DAISD |
1993 |
DBLP BibTeX RDF |
|
| 1 | Enric Mayol, Maria-Ribera Sancho, Jaume Sistac |
The Odissea Project: An Environment for the Development of Information Systems from DCM. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Alberto Torres |
Is There a "Right" Semantics for Negation as Failure? |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Georg Nüssel, Hendrik Decker, Matilde Celma, Juan Carlos Casamayor |
A Complete Proof Procedure for Efficient Integrity Checking in Deductive Databases. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Antoni Olivé (eds.) |
Third International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1992, September 28-30, 1992, Roses, Costa Brava, Catalonia, Proceedings. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Casamayor |
An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Guido Moerkotte, Holger Müller, Joachim Posegga |
Aspects of Consistency Driven Planning. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Babis Theodoulidis, Petros Alexakis, Pericles Loucopoulos |
Verification and Validation of Temporal Business Rules. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Joan Antoni Pastor |
Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Charles Kellogg |
Deduction-Based Data Understanding using Graphic Logic. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Magnus Boman |
A Note on the Limitations of Utilizing Modal Logic for Federated Information Systems. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca |
Integrity Maintenance Systems: An Architecture. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Georges Gardarin, Françoise Fabret |
Query Optimization in a Deductive Object-Oriented DBMS. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Isidro Ramos, Oscar Pastor 0001, José Hilario Canós-Cerdá |
On the Use of Algebras as Semantic Domain of Object Societies. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Salvador Villena, Buenaventura Clares Rodríguez |
Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hendrik Decker |
Knowledge Assimilation in Deductive Databases - An Overview. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Carme Quer |
Combining the Object-Oriented Approach and the Deductive Approach for Conceptual Modelling. |
DAISD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Antoni Olivé (eds.) |
Second International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1991, September 9-11, 1991, Aiguablava, Costa Brava, Catalonia, Proceedings. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Rainer Manthey |
Towards a Unified View of Query- and Update-driven Inference in Deductive Databases. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Oscar Pastor 0001, Isidro Ramos, José Hilario Canós-Cerdá |
Object Oriented and Relational Specification of Information Systems. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Matilde Celma, Juan Carlos Casamayor, Laura Mota-Herranz, María Angeles Pastor, Francisco Marqués |
A Derivation Path Recording Method for Integrity Checking in Deductive Databases. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Sharma Chakravarthy |
Combining Deductive and Active Capabilities: A Systems Perspective. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Matthias Jarke |
Deductive Object Bases: Concept, Implementation, Applications. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Guido Moerkotte, Karl Rösch |
On the Compilation of Consistency Constraints. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Hendrik Decker |
On the Declarative, Operational and Procedural Semantics of Disjunctive Computational Theories. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Steinke |
Towards a Strategy for Achieving Security and Multi-User Integrity in Knowledge Base Systems. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Toni Urpí |
An Approach to Monitoring Changes in Deductive Databases. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Carme Quer, Jaume Sistac |
ODISSEA: A Language for Deductive Information Systems. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Luca Console, Maria Luisa Sapino, Daniele Theseider Dupré |
Object-Level Abduction for View Updates. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Dolors Costal |
An Approach to Validation of Deductive Conceptual Models. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pericles Loucopoulos, George Papastamatiou, Dionysios Pantazis, George Diakonikolaou |
Design and Execution of Event/Action DB Applications. |
DAISD |
1991 |
DBLP BibTeX RDF |
|
| 1 | Robert Demolombe |
Strategies for the Computation of Conditional Answers. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Maria-Ribera Sancho |
Deriving an Internal Events Model from a Deductive Conceptual Model. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes |
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Arantza Illarramendi, Licia Sbattella |
Syntactic Query Processing: Dealing with Structure and Time. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Joan Antoni Pastor |
The Internal Events Method for Integrity Constraints Enforcement in Deductive Databases. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Øystein Nytrø |
Optimizing Deductive Databases Using Integrity Constraints. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Vassilis Kopanas, Pericles Loucopoulos |
Database Support for a Rule-based Approach to Information Systems. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Antonis C. Kakas |
Belief Revision for Deductive Databases. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Antoni Olivé (eds.) |
International Workshop on the Deductive Approach to Information Systems and Databases, DAISD 1990, October 15-17, 1990, S'Agaró, Catalonia, Proceedings. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Ernest Teniente |
The Internal Events Method for View Updating in Deductive Databases. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | José Miguel Blanco 0001, Arantza Illarramendi |
Semantic Query Optimization: from DBMS to KBS. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Federico Barbic, Roberto Maiocchi, Barbara Pernici |
Automatic Deduction of Temporal Information. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
| 1 | Lawrence Cavedon, Hendrik Decker |
A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution. |
DAISD |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license