نظریه هائی که دارای ناوردایی محلی هستند به نظریهء سیستم های مقید معروفند. درواقع، قیود سیستم چیزی به جز مولدهای تبدیلات پیمانه ای بی نهایت کوچک نیستند. کوانتیزه کردن سیستم های مقید بصورت طبیعی، تحت عنوان کوانتیزه کردن بچی - روت -استورا - تیوتین brst توسط فرادکین - باتالین ویلکوویسکی فرمولبندی شده است . دیدگاه اصلی این روش ، دراین واقعیت نهفته است که ناوردایی های محلی اولیه با تعمیم فضای فاز به متغیرهای گوست ، به یک ناوردایی همه جایی منفرد تبدیل می شود. این ناوردایی همه جایی (تقارن brst) توسط مولد brst بوجود می آید. این مولد، پوچ توان بوده و قیود اولیه و خصوصیات جبری آنها در درون این مولد مستتر است . روش کوانتیزه کردن brst همانند هر روش کوانتیزه کردن دیگر، بیشتر یک تکنیک است تا یک نظریه . تبدیلات پوچ توان و کنش ناوردا، یک نظریه کوانتومی یونیتاری، با مشاهده پذیرهای مستقل از انتخاب پیمانه را تعریف می کند. بعلاوه روش brst باز بهنجار بودن نظریهء یانگ - میلزرا برای یک کلاس کلی از پیمانه ها نشان می دهد.