7.1.05
ICDT
ICDT is in Edinburgh this year. Some highlights:
Moshe Vardi on model checking for database theorists. A lovely introduction.
Michael Schwartbach on type systems for XML. A perfect invited talk: a summary of the field as a whole, including the speaker's work but not focussed on it, with some hot-off-the-presses new research at the end (static typing for XSLT with DTDs as types). Beautifully illustrated with cows.
Wim Martens, Frank Neven and Thomas Schwentick on Which XML Schemas Admit 1-Pass Preorder Typing. Neat results, neatly presented. They have a very nice characterization of the "element declarations consistent" constraint in Schema.
David Maier on Streaming. One of the more interesting things I learned at ICDT is that Maier is responsible for introducing the term "impedance mismatch" to the database field, circa 1984. (It may have been introduced into computing more than once, as I believe I saw the same term used in a paper on AWK earlier than that.)
Victor Viana told me about his latest work. I went back to my office and downloaded his Specification and Verification of Data-driven Web Services from PODS 2004.
Moshe Vardi on model checking for database theorists. A lovely introduction.
Michael Schwartbach on type systems for XML. A perfect invited talk: a summary of the field as a whole, including the speaker's work but not focussed on it, with some hot-off-the-presses new research at the end (static typing for XSLT with DTDs as types). Beautifully illustrated with cows.
Wim Martens, Frank Neven and Thomas Schwentick on Which XML Schemas Admit 1-Pass Preorder Typing. Neat results, neatly presented. They have a very nice characterization of the "element declarations consistent" constraint in Schema.
David Maier on Streaming. One of the more interesting things I learned at ICDT is that Maier is responsible for introducing the term "impedance mismatch" to the database field, circa 1984. (It may have been introduced into computing more than once, as I believe I saw the same term used in a paper on AWK earlier than that.)
Victor Viana told me about his latest work. I went back to my office and downloaded his Specification and Verification of Data-driven Web Services from PODS 2004.
