Mírian Halfeld Ferrari Alves

Available identifiers

zbMath Open halfeld-ferrari-alves.mirianMaRDI QIDQ3518986

List of research outcomes

Publication	Date of Publication	Type
Update rules in Datalog programs	2022-08-30	Paper
Passive and active rules in deductive databases	2022-08-18	Paper
Weak inclusion for XML types	2011-07-29	Paper
Minimal tree language extensions: a keystone of XML type compatibility and evolution	2010-08-31	Paper
Efficient constraint validation for updated XML databases	2008-08-12	Paper
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)	2007-11-30	Paper
Mathematical Foundations of Computer Science 2004	2005-08-22	Paper
Update rules in datalog programs	1999-02-02	Paper

Research outcomes over time

This page was built for person: Mírian Halfeld Ferrari Alves