•Data
values
–Instore.qty
>= 0
–Order.rcvd
<= current_date or Order.rcvd is null
•Business
rules
–for each p,
(Sum of qty for product p among all stores and warehouse) >= 50
–for each p, (Sum of qty for product p among all stores and warehouse) >= 70 or there is an outstanding order
of product p