formal db example