The following pages link to Nicole Bidoit (Q579958):
Displaying 19 items.
- Non first normal form relations: An algebra allowing data restructuring (Q579959) (← links)
- (Q753475) (redirect page) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Negation by default and unstratifiable logic programs (Q753501) (← links)
- The Verso algebra or how to answer queries with fewer joins (Q1102767) (← links)
- Minimalism, justification and non-monotonicity in deductive databases (Q1123011) (← links)
- General logical databases and programs: Default logic semantics and stratification (Q1173955) (← links)
- A first step towards implementing dynamic algebraic dependences (Q1389443) (← links)
- Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications (Q2104519) (← links)
- (Q2728833) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- Fixpoint and While Temporal Query Languages (Q3623224) (← links)
- A first step towardsmodeling semistructured data in hybrid multimodal logic (Q3647216) (← links)
- (Q4501676) (← links)
- (Q4694697) (← links)
- Order Independent Temporal Properties (Q4820468) (← links)
- A linear logic approach to consistency preserving updates (Q4885626) (← links)
- Databases and artificial intelligence (Q6602264) (← links)
- Update programs versus revision programs (Q6623798) (← links)
