An Insider's Guide to Logic in Telecommunications Data
26 June 2005
The aim of this talk if to give an overview of recent projects at Bell Labs that tackle this problem. Declarative languages play a key role here. Indeed, we can think of a solution as consisting of languages for: the integrity constraints, the large-scale changes to the data, and the relationships between base data and derived data. In this talk I will start by explaining the languages used, and the key algorithmic ideas behind the tools. Generally these tools can all be seen as "implementations" of closure properties of definable tree and tree-structured data languages. I will then discuss briefly some of the pragmatic issues in getting these systems used.