Boon Thau Loo

• Datalog and Recursive Query Processing
• Declarative Networking