Voltaire: A database programming language with a single execution model for evaluating queries, constraints and functions | IEEE Conference Publication | IEEE Xplore