Real-Time Scheduling for Semantic Concurrency Control of Object-Oriented Database Systems