spec definition for yags_database.erl