Title: LOGIC ALGEBRA DATABASES