Weare developing a laboratory notebook system knownas the Genetics Deductive Database. Currently our prototype provides storage for biological facts andrules withflexible accessvia an interactive graphical display. Wehaveintroduceda formalbasis for the representation and reasoning necessary to order genomemap data and handle the uncertainty inherent in biological data. Weaim to support laboratory activities by introducing an experimentplanner into our prototype. TheGenetics DeductiveDatabaseis built using newdatabase technology which provides an object-oriented conceptual model, a declarative rule language,and a proceduralupdate language. This combinationof features allows the implementationof consistency maintenance, automatedreasoning, and data verification.