Projection over a signature reduces the arity of the drawn relations but does not hide disconnected atoms.
This can however be achieved by customizing the visualizer theme:
- uncheck the property "Show" of sig
Database
- check the property "Show" of the set
database
(the binary relationdatabase
became a set under projection)
Also, if you wish you can also uncheck the property "Show as label" to avoid the tag (database)
on the nodes.