I tested the code below using Bluespec Compiler (build 75b53cc) that I just built in a clean checkout, though I encountered this in my real-world case with Bluespec ...

Abstract: This paper presents a novel logic-based language for nested relations. It stands in the same relationship to the nested relation model as Datalog stands to the relational model. The main ...

Abstract: In a nested relational database or complex object database, nested tuples and sets are used to represent real world objects. A relation is just a set of tuples and a database is a tuple of ...