Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Carme Martín
Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Checking Integrity Constraints in Deductive Systems Based on Production Rules and a Description Logic Terminology
On Modal Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrity Constraint Enforcement in a Multidatabase Using Distributed Active Rules
On the Unification of Active Databases and Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deductive Databases and Knowledge Base Systems.
Foundations of Aggregation in Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logical Foundation for Deductive Object-Oriented Databases
Proving Finite Satisfiability of Deductive Databases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deductive Rules in Holographic Reduced Representation
Neurocomputing
Computer Science Applications
Artificial Intelligence
Cognitive Neuroscience
