Operating system and database with a rule language for conditionally controlled computer operation